Sciences du logiciel - Xavier Leroy
Peu actif (publication < 6 mois), fréquence hebdomadaire, 73 épisodes, format long (73 min).
🎧 Dernier épisode
Séminaire - David Pointcheval : Le chiffrement fonctionnel : agréger des données sensibles
✒ Notre avis
Les fondements théoriques du logiciel expliqués par Xavier Leroy, chercheur au Collège de France.
Pourquoi l'écouter
Xavier Leroy est l'un des informaticiens théoriques les plus reconnus d'Europe, notamment pour ses travaux sur CompCert, le compilateur C formellement vérifié. Son cours au Collège de France, disponible en podcast avec 73 épisodes, couvre des sujets que peu d'ingénieurs abordent dans leur formation : la sémantique formelle des langages, la vérification de programmes, la théorie des types. Ce qui rend ce podcast unique, c'est qu'il comble un vide : on peut trouver des dizaines de cours sur React ou Python, mais presque aucun en français qui explique pourquoi et comment les langages de programmation sont construits. Pour un développeur ou chercheur qui veut comprendre les fondements de son métier, c'est une opportunité rare.
Comment c'est fait
Format cours magistral enregistré, avec Xavier Leroy qui présente ses recherches avec une clarté et une précision remarquables. Les épisodes sont techniques et denses, entre 45 minutes et 1h30. Le style est académique mais jamais aride — Leroy a le talent d'expliquer des concepts complexes avec des exemples concrets. La progression est structurée : il vaut mieux suivre les épisodes dans l'ordre.
De quoi ça parle
Le podcast couvre les sciences du logiciel dans leur dimension théorique : sémantique des langages de programmation, systèmes de types, vérification formelle, compilation et optimisation, logique de programmes. Des exemples concrets en OCaml et en Coq illustrent régulièrement les concepts. Les derniers épisodes (jusqu'à décembre 2025) abordent les développements récents en vérification automatisée.
Pour qui
Destiné aux ingénieurs logiciels expérimentés souhaitant comprendre les fondements théoriques de leur pratique, aux étudiants en master ou doctorat en informatique théorique, et aux chercheurs en langages de programmation ou en méthodes formelles.
Par où commencer ?
Commencez par les premiers épisodes du cours pour bénéficier de la progression pédagogique voulue par Leroy. Les supports de cours sur le site du Collège de France sont un complément utile à l'écoute.
Vous pourriez aussi aimer
STUDIO NUMÉRIQUE PODCASTS
“Vulgarise l'actualité numérique avec clarté, pour ceux qui veulent comprendre la tech sans s'y noyer.”
Oliwon Lakarayib, une plateforme numérique dédiée à la Caraïbe
“Une bouffée d'air caribéen dans le monde de la tech, rafraîchissante et nécessaire.”
La minute du numérique avec Orange
“Une minute bien investie pour comprendre le numérique d'aujourd'hui. Simple, fiable, efficace.”