Né en 1960, Antoine Petit a d’abord été enseignant-chercheur de 1984 à 2004, assistant-agrégé à l’Université d’Orléans, maître de conférences à l’Université Paris-Sud puis, à partir de 1994, professeur à l'Ecole normale supérieure. Directeur général adjoint d'Inria à partir de 2010, Antoine Petit qui avait réalisé la première partie de sa carrière au CNRS, a supervisé les relations avec les ministères de tutelle, les partenariats institutionnels avec les établissements de recherche, les entreprises et les collectivités, en France comme à l’international. Il a aussi été en charge des actions de formation par la recherche.
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 et temps réel.
