Le logiciel, entre l'esprit et la matière - Xavier Leroy (2018)

Leçon inaugurale de Xavier Leroy prononcée le 15 novembre 2018.
Xavier Leroy est professeur du Collège de France et titulaire de la chaire Sciences du logiciel.
Retrouvez les vidéos de ses enseignements :
www.college-de...
Texte intégral de la leçon inaugurale :
books.openedit...
Les travaux de recherche de Xavier LEROY portent d’une part sur les nouveaux langages et outils de programmation, et d’autre part sur la vérification formelle de logiciels critiques afin de garantir leur sûreté et leur sécurité. Il est l’architecte et l’un des principaux développeurs du langage de programmation fonctionnelle OCaml ainsi que du compilateur C formellement vérifié CompCert, deux grands logiciels issus de la recherche.
Découvrez toutes les ressources du Collège de France :
www.college-de...
Suivez-nous sur :
Facebook : / college.de.france
Instagram : / collegedefrance