tech&fest 2025

AP

Antoine Petit

CNRS

Président-directeur général

Description

Antoine Petit, professeur des universités de classe exceptionnelle, a été nommé président-directeur général du CNRS le 24 janvier 2018, puis renommé pour un second mandat le 9 février 2022. Agrégé de mathématiques et docteur en informatique de l’université Paris Diderot, Antoine Petit est spécialiste de méthodes formelles 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'École normale supérieure de Cachan (Paris-Saclay) à partir de 1994. De 2001 à 2003, Antoine Petit est directeur adjoint à la Direction de la recherche du ministère en charge de la recherche, 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 2010. En 2014, il devient président-directeur général d’Inria. Depuis janvier 2018, il est président-directeur général du CNRS. Antoine Petit est docteur honoris causa de l'université du Chili, chevalier de la Légion d'honneur et officier de l'ordre national du Mérite.
Chargement