Xavier Leroy a étudié les mathématiques puis l'informatique à l'École Normale Supérieure et à l'Université Paris Diderot. Après un doctorat en informatique fondamentale en 1992 et un postdoctorat à l'Université Stanford, il devient chargé de recherche à l'Inria en 1994, puis directeur de recherche en 2000. Il y a dirige aujourd’hui l'équipe de recherche GALLIUM. De 1999 à 2004, il participe à la start-up Trusted Logic. Il est nommé Professeur au Collège de France en mai 2018 et devient le titulaire de la chaire Sciences du logiciel. Les travaux de recherche de Xavier Leroy portent d'une...