Xavier Leroy

Professeur titulaire de la chaire « Sciences du logiciel » au Collège de France et chercheur en langages de programmation et vérification formelle; auteur et présentateur du cours sur la sécurité des calculs et la cryptographie appliquée aux logiciels.

Best podcasts with Xavier Leroy

Ranked by the Snipd community

4 snips

Nov 15, 2018 • 1h 4min

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

Xavier Leroy, informaticien renommé et architecte du langage OCaml, partage sa passion pour les langages de programmation et la vérification formelle. Il explore l'évolution des logiciels, des origines mécaniques à l'impact de l'IA sur la programmation. Leroy évoque la complexité et les défis de la vérification formelle, tout en discutant de la correspondance entre types et preuves. Il met en lumière des projets emblématiques comme CompCert, soulignant la nécessité d'une spécification précise pour garantir la sûreté des logiciels.

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!

Get the app