Antoine PETIT

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.

D’enseignant-chercheur à professeur à l'ENS de Cachan avant d’intégrer le ministère de la Recherche, puis l’Inria et le CNRS, Antoine Petit a toujours œuvré pour allier les mondes de la recherche, de l’enseignement supérieur et de l’économie, une alliance indispensable pour servir au mieux les besoins et attentes des citoyens.