Sélection des 100 personnalités qui donnent sens numérique
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.