Xavier Leroy : Grand Prix – Académie des sciences En novembre 2018, Xavier Leroy a fait son entrée au Collège de France sur la chaire de Sciences du Logiciel. Une belle reconnaissance pour celui qui a été l'architecte de deux grandes réussites made in Inria : le langage de programmation fonctionnel OCaml et le compilateur formellement vérifié CompCert. Avec Sébastien Candel, président de l'Académie des sciences, et Bruno Sportisse, PDG d'Inria.
|