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

Le Logiciel entre l’esprit et la matière, leçon Inaugurale de Xavier Leroy
59 min
Les Cours du Collège de France
LE 03/06/2019

Entre "une rigueur formelle et une créativité débridée", quelle est l'ampleur des progrès dans le monde du logiciel depuis l'apparition de l’ordinateur?...

À venir dansDans    secondess

full_screenCreated with Sketch.