Sylvain Conchon is a professor of computer science at Paris-Saclay University and director of the Graduate School of Computer Science and Digital Sciences (ISN). A member of the Formal Methods Laboratory (LMF – CNRS/ENS Paris-Saclay/Paris-Saclay University) and the Toccata project team, a joint initiative with Inria Saclay, his research focuses on automatic proof, formal program verification, and model-checking techniques applied to parameterized systems.