Antoine Petit

Mathématicien, informaticien

Président-directeur général du CNRS

Antoine Petit a été nommé Président-directeur général du CNRS le 24 janvier 2018.
Il est agrégé de mathématiques ainsi que docteur en informatique de l’Université Paris Diderot.
Antoine Petit est spécialiste de méthode formelles principalement à des systèmes de transitions pour la spécification et la vérification de système parallèles en temps réel.

De 2001 à 2003, il 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 2014, il devient président-directeur général d’Inria.
Il est vice-président de l’alliance Athéna depuis sa nomination à la tête du CNRS.