Antoine Petit, professeur des universités de classe exceptionnelle, a été nommé président-directeur général du CNRS le 24 janvier 2018. Agrégé de mathématiques et docteur en informatique de l'université Paris Diderot, 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 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'Ecole normale supérieure de Cachan en 1994. De 2001 à 2003, Antoine Petit 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 2006, il rejoint Inria pour diriger le centre de recherche Paris-Rocquencourt, avant d'être nommé directeur général adjoint. En 2014, il devient président-directeur général d'Inria.