Antoine Petit

Biography

Antoine Petit was appointed Chairman and CEO of Inria for a term of five years. PhD and Professor ('classe exceptionnelle’) in Computer Science, he was formerly Deputy Managing Director of Inria. Born in 1960, Antoine Petit first worked as Assistant Professor at the University of Orléans, then at Paris-Sud University and, since 1994, as Professor at the ENS of Cachan (France). From 1993 to 1996, he was Advisor on Computer Science to the "Information Science and Technology" Department at the French Ministry of Research's Science and Technology Unit. In 2001, Antoine Petit was appointed Assistant Director of the Ministry's Research Directorate, in charge of Mathematics and ICST, a position he held until the end of 2003. In 2004, he was attached to the CNRS, first as Scientific Director of the Information Science and Technology Department and then as Interregional Director for Southwest France.  Antoine Petit joined Inria in July 2006 to head the Paris-Rocquencourt Research Centre, later acting as interim Director of the Saclay Research Centre from March to September 2010. As Deputy Managing Director, he coordinated relations with supervisory ministries and institutional partnerships with research bodies, businesses and local authorities, in France and abroad. He has also been in charge of training through research programmes. Antoine Petit specialises in formal methods, mainly transition system based methods, for the specification and verification of parallel and real-time systems.  

Research Interest

Information Science and Technology