Antoine
Petit,
Président directeur général du CNRS
Antoine
Petit
Président directeur général du CNRS Professeur des universités de classe exceptionnelle, 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 (maître de conférences à l’Université Paris-Sud, professeur à l’ENS Cachan) il est directeur adjoint à la Direction de la Recherche du ministère (2001-03). En 2004, il devient directeur scientifique du département Sciences et TIC du CNRS puis directeur interrégional Sud-Ouest. En 2006, il rejoint Inria et dirige le centre de recherche Paris-Rocquencourt, avant d’être nommé directeur général adjoint. En 2014, il devient PDG d’Inria. Il est nommé PDG du CNRS le 24 janvier 2018.
Président directeur général du CNRS Professeur des universités de classe exceptionnelle, 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 (maître de conférences à l’Université Paris-Sud, professeur à l’ENS Cachan) il est directeur adjoint à la Direction de la Recherche du ministère (2001-03). En 2004, il devient directeur scientifique du département Sciences et TIC du CNRS puis directeur interrégional Sud-Ouest. En 2006, il rejoint Inria et dirige le centre de recherche Paris-Rocquencourt, avant d’être nommé directeur général adjoint. En 2014, il devient PDG d’Inria. Il est nommé PDG du CNRS le 24 janvier 2018.