Inria
Inria.fr
Inria Channel
L'équipe de direction
Antoine Petit, directeur général adjoint
Antoine Petit a été nommé directeur général adjoint du président d'Inria. À ce titre, il supervise notamment, aux côtés du président d'Inria, les relations avec les ministères de tutelle, les partenariats institutionnels avec les établissements de recherche, les entreprises et les collectivités.
Il supervise également les actions de formation par la recherche et l’ensemble des relations avec les établissements d’enseignement supérieur.
Directeur du centre de recherche Inria Paris - Rocquencourt depuis 2006, Antoine Petit assurait également par intérim les fonctions de directeur du centre Inria Saclay - Ile-de-France depuis mars 2010. Avant de rejoindre l’Inria, Antoine Petit a occupé les fonctions de directeur scientifique du département STIC du CNRS puis de directeur interrégional Sud-Ouest au CNRS.
Antoine Petit est agrégé en mathématiques, docteur ès sciences, professeur des universités à l'Ecole normale supérieure 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.
Contact
