Leçon inaugurale - Xavier Leroy : Le logiciel, entre l'esprit et la matière

Collège de France - Sélection · Nov 15, 2018 · 1h 3m

Xavier Leroy

Collège de France

Science du logiciel

Année 2018-2019

Leçon inaugurale : Le logiciel, entre l'esprit et la matière.

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.

Langages fonctionnels, systèmes de…