TechnologiePublication irrégulièreSérie terminée
Sciences du logiciel - Xavier Leroy
Les fondements théoriques du logiciel expliqués par Xavier Leroy, chercheur au Collège de France.
Rédaction 2,9 · Auditeurs 5,0 sur Apple Podcasts (1 note)
Peu actif (publication < 6 mois), fréquence hebdomadaire, 73 épisodes, format long (73 min).
73 épisodesHebdomadaire73 minPar Collège de France
Dernier épisode
Séminaire - David Pointcheval : Le chiffrement fonctionnel : agréger des données sensibles
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.
Thèmes informatique théoriquelangages de programmationvérification formellecompilationsémantiqueCollège de FranceOCaml
Comment on note
La note Meilleurs-Podcasts combine trois regards. Celui de la rédaction, qui écoute et juge le fond et la forme (la moitié de la note). Celui des auditeurs, à travers leur note sur Apple Podcasts, lissée tant qu’ils sont peu nombreux à voter (30 %). Et l’audience, mesurée par le nombre de votes (20 %) : chaque fois qu’il est multiplié par dix, le podcast gagne le même bonus.
Un podcast noté 4,6 par 12 000 auditeurs passe ainsi devant un podcast noté 5 par cinq personnes.
Vous pourriez aussi aimer
Silicon Carne, un peu de picante dans un monde de Tech !
Décrypte la tech et la finance avec un regard européen critique et des opinions assumées sans détour.
272 épisodesQuotidienActif
4,6ÉcouterMon Carnet, l'actu numérique
Pour suivre le numérique en français, sans prise de tête.
589 épisodesQuotidien16 minActif
4,6ÉcouterChoses à Savoir TECH
Un mini-cours tech dans la poche — pratique, clair et vraiment utile au quotidien.
1 350 épisodesQuotidien3 minActif
4,5Écouter
