Sylvain Conchon est professeur d’informatique à l’Université Paris-Saclay et directeur de la Graduate School Informatique et Sciences du Numérique (ISN). Membre du Laboratoire Méthodes Formelles (LMF – CNRS/ENS Paris-Saclay/Université Paris-Saclay) et de l’équipe-projet Toccata, commune avec Inria Saclay, ses travaux de recherche portent sur la démonstration automatique, la vérification formelle de programmes et les techniques de model checking appliquées aux systèmes paramétrés.