Sites Inria

Version française


DirCom - 29/09/2014

Antoine Petit, new Inria Chairman and CEO

Antoine Petit, CEO - © Inria / Photo C. Helsly

By Decree of the President of France on 26 September 2014, Antoine Petit has been appointed as Chairman of the Board of Directors of Inria.

Antoine Petit was appointed Chairman and CEO of Inria for a term of five years. Associate Professor of Mathematics and Doctor of Science, a University Professor ('classe exceptionnelle') at the ENS Cachan, he was formerly Deputy Managing Director of Inria.

Born in 1960, Antoine Petit first worked as Research Lecturer, from 1984 to 2004, then Assistant Professor at the University of Orléans, then Senior Lecturer at Paris-Sud University and, since 1994, Professor at the ENS.

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, going on to become a member of the group of experts on "Computer Science" between 1996 and 2000. 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.

He is also a keen sports lover, particularly of rugby.

Keywords: Antoine Petit Formal methods CEO Research