?>

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.
De 2001 à 2003, il est directeur adjoint à la Direction de la Recherche du ministère, en charge des Mathématiques et des Stic. En 2014, il devient président-directeur général d’Inria.

Antoine Petit est spécialiste de méthodes formelles principalement des systèmes de transitions pour la spécification et la vérification de système parallèles en temps réel. Il est vice-président de l’alliance Athéna depuis sa nomination à la tête du CNRS.