?>

Antoine Petit

Mathématicien, informaticien

Président de l’alliance Athéna/ 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 Président de l’alliance Athéna depuis avril 2021.