Antoine Petit vient d’être nommé président du conseil d’administration d’Inria et assure également les fonctions de directeur général en application des statuts de l’Institut.
Agrégé en mathématiques et docteur ès sciences, Antoine Petit a d’abord été enseignant-chercheur de 1984 à 2004, assistant-agrégé à l’Université d’Orléans, maître de conférences à l’Université Paris-Sud puis à partir de 1994 professeur à l’Ecole normale supérieure.
En 2001 Antoine Petit est nommé directeur adjoint à la Direction de la Recherche du ministère, en charge des Mathématiques et des STIC, fonction qu’il occupe jusqu’à fin 2003. En 2004 il est détaché au CNRS, d’abord comme directeur scientifique du département Sciences et technologies de l’information puis comme directeur interrégional Sud-Ouest.
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 et temps réel.
puis