Antoine Petit, professeur des universités de classe exceptionnelle, a été nommé président-directeur général du CNRS le 24 janvier 2018. Agrégé de mathématiques et docteur en informatique de l’université Paris Diderot, Antoine Petit est spécialiste de méthodes formelles, principalement à base de systèmes de transitions, pour la spécification et la vérification de systèmes parallèles en temps réel. Enseignant-chercheur de 1984 à 2004, il a été assistant-agrégé à l’Université d’Orléans, maître de conférences à l’Université Paris-Sud puis professeur à l’Ecole normale supérieure de Cachan en 1994.
De 2001 à 2003, Antoine Petit est directeur adjoint à la Direction de la Recherche du ministère, en charge des Mathématiques et des Stic. En 2004 il est détaché au CNRS, d’abord comme directeur scientifique du département Sciences et technologies de l’information et de la communication puis comme directeur interrégional Sud-Ouest. En 2006, il rejoint Inria pour diriger le centre de recherche Paris-Rocquencourt, avant d’être nommé directeur général adjoint. En 2014, il devient président-directeur général d’Inria.
Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.
Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. It is mandatory to procure user consent prior to running these cookies on your website.