Petit, Antoine (1960-.... ; mathématicien)

Titulaire d'une thèse de 3ème cycle en Mathématiques, Informatique à l'Université de Paris 7 (en 1985). - Professeur de mathématiques. En poste à l'Ecole normale supérieure de Cachan (en 2005). - Chercheur au L.S.V. (Laboratoire Spécification et Vérification, UMR 8643 CNRS). - Président directeur général du CNRS depuis 2018 (en 2023)