Xavier Leroy lauréat 2018 du grand prix INRIA – Académie des sciences

26 juillet 2018

Le Collège de France adresse ses félicitations à Xavier Leroy, professeur au Collège de France sur la chaire de Sciences du logiciel et chercheur au centre Inria de Paris, lauréat 2018 du grand prix INRIA – Académie des sciences.

Xavier Leroy est informaticien, spécialiste des langages de programmation et de la sûreté et de la sécurité du logiciel.  Il est notamment connu pour avoir co-développé le langage OCaml, l’un des deux langages fonctionnels typés les plus utilisés dans le monde de la recherche et dans celui de l’industrie aux côtés du langage Haskell, ainsi que le compilateur CompCert C, le premier compilateur réaliste qui a été formellement vérifié.

Xavier Leroy est nommé titulaire de la nouvelle chaire Sciences du logiciel à partir de la rentrée 2018.