Xavier Leroy : Grand Prix Inria – Académie des sciences 2018
Imprimer
Inria-0296-299.jpg
Xavier Leroy : Grand Prix Inria – Académie des sciences 2018
Lien vers la page du documentCopiez/collez ce lien pour l'envoyer par email, l'inclure dans une page web ou le partager sur les réseaux sociaux.
Titre :
Xavier Leroy : Grand Prix Inria – Académie des sciences 2018
Légende - Résumé :
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.
Nom de fichier :
Inria-0296-299.jpg
Titre :
Xavier Leroy : Grand Prix Inria – Académie des sciences 2018