Antoine
PETIT

INRIA
président directeur général

Antoine PETIT est président directeur général de l’Inria depuis septembre 2014. Agrégé en mathématiques et docteur ès sciences, Professeur des universités de classe exceptionnelle à l’ENS de Cachan, il 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 et temps réel. Antoine Petit a dirigé le centre de recherche Inria de Paris-Rocquencourt, puis celui de Saclay. Il a ensuite été directeur général adjoint de l’Inria.

Publications :