Antoine Petit
La nomination
Équipe de direction de Stratégie pancanadienne en matière d’intelligence artificielle
Membre du comité consultatif scientifique international
À Propos
Antoine Petit a été nommé président-directeur général du CNRS le 24 janvier 2018, mandat qui a été renouvelé le 9 février 2022. Après avoir obtenu une maîtrise en mathématiques à l’Université Paris-Sud (aujourd’hui l’Université Paris-Saclay) et un doctorat en informatique à l’Université Paris Diderot, il s’est spécialisé dans les méthodes formelles, principalement fondées sur les systèmes de transition, 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é professeur adjoint à l’Université d’Orléans, maître de conférences à l’Université Paris-Sud et professeur à l’ENS Cachan (aujourd’hui ENS Paris-Saclay et partie de l’Université Paris-Saclay) à compter de 1994.
De 2001 à 2003, Antoine Petit a été directeur adjoint à la direction de la Recherche du ministère de la Recherche, où il était responsable des mathématiques et des sciences et technologies de l’information et de la communication. En 2004, il s’est joint au CNRS, d’abord comme directeur scientifique du département des Sciences et technologies de l’information et de la communication, puis comme directeur interrégional Sud-Ouest. En 2006, il a intégré l’Institut national d’informatique et de mathématiques appliquées (INRIA) en tant que directeur du centre de recherche Paris-Rocquencourt. Il est nommé président-directeur général d’INRIA en 2014, après en avoir été le directeur général adjoint de 2010 à 2014. Il a été fait chevalier de la Légion d’honneur française et officier de l’ordre national du Mérite, et a également reçu un doctorat honoris causa de l’Université du Chili.