Accueil du nouveau mandat des Section ( 2025-2029)

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)