Antoine Petit (chercheur)

Pour les articles homonymes, voir Petit et Antoine Petit (homonymie).

Antoine Petit

Antoine Petit en 2019.

Fonctions

Président directeur général du CNRS
depuis le 24 janvier 2018
Anne Peyroche
Président-directeur général Inria
28 septembre 2014 - 24 janvier 2018
Michel Cosnard Bruno Sportisse

Biographie

Naissance	18 juin 1960 (64 ans)
Nationalité	française
Formation	Université Paris-Diderot (doctorat) (jusqu'en 1985)
Activités	Enseignant-chercheur, informaticien

Autres informations

A travaillé pour	Centre national de la recherche scientifique (depuis le 24 janvier 2018) Inria (depuis le 26 septembre 2014) Inria (septembre 2010 - 28 septembre 2014) Inria (mars - septembre 2010) Inria (août 2006 - septembre 2010) Centre national de la recherche scientifique (2004 - 1er août 2006) École normale supérieure Paris-Saclay (1994-2003) Université Paris-Sud (1993-1994) Centre national de la recherche scientifique (1991-1993) Université Paris-Sud (1989-1991) Université d'Orléans (1984-1989)
Directeur de thèse	Luc Boasson (d)
Site web	www.lsv.ens-cachan.fr/~petit
Distinctions	Chevalier de la Légion d'honneur‎ (2010) Officier de l'ordre national du Mérite (2014)

modifier - modifier le code - modifier Wikidata

Antoine Petit, né le 18 juin 1960, est un chercheur français, nommé président-directeur général du CNRS par le président Emmanuel Macron par décret du 24 janvier 2018^[1]. Il est agrégé de mathématiques, docteur ès sciences, spécialiste de méthodes formelles, professeur des universités à l’ENS Cachan et il a été président-directeur général de l’Institut national de recherche en informatique et en automatique (Inria) de septembre 2014 à janvier 2018. Il est nommé^[2] le 24 janvier 2018 - par le Premier ministre Edouard Philippe et la ministre de l'enseignement supérieur, de la recherche et de l'innovation Frédérique Vidal - président-directeur général du Centre national de la recherche scientifique (CNRS).