LE DIRECT

Xavier Leroy


Informaticien, professeur au Collège de France, titulaire de la chaire Sciences du logiciel

Biographie de Xavier Leroy

Xavier Leroy est informaticien, spécialiste des langages et outils de programmation. Il est l’un des auteurs du langage OCaml et du compilateur formellement vérifié CompCert. Auparavant chercheur à l’Inria, il a été nommé professeur au Collège de France, titulaire de la chaire Sciences du logiciel, en mai  2018.

Dernières publications sur Xavier Leroy

France Culture

est dans l'appli Radio France
Direct, podcasts, fictions

INSTALLER OBTENIR

Newsletter

Découvrez le meilleur de France Culture

S'abonner
À venir dans ... secondes ...par......