Documentaire
Notice
Lieu de réalisation
Centre Inria de Paris
Langue :
Français
Crédits
Jean-Marc Sigot (Réalisation), Timothée Coignus (Réalisation), Timothy Bourke (Intervention)
Détenteur des droits
Inria siège
DOI : 10.60527/6kxv-4r20
Citer cette ressource :
Timothy Bourke. Inria. (2025, 17 octobre). Éviter la catastrophe grâce aux maths - #épisode4 , in CTRL-F, la recherche en sciences du numérique. [Vidéo]. Canal-U. https://doi.org/10.60527/6kxv-4r20. (Consultée le 3 novembre 2026)

Éviter la catastrophe grâce aux maths - #épisode4

Réalisation : 17 octobre 2025 - Mise en ligne : 28 août 2026
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
Descriptif

Dans une centrale nucléaire, à bord d’un avion ou d’une voiture autonome, une erreur logicielle peut avoir des conséquences dramatiques. Au Centre Inria de Paris et à l’École normale supérieure , Timothy Bourke et son équipe construisent des preuves mathématiques capables de garantir la fiabilité de logiciels embarqués.
𝗟𝗲𝘂𝗿 𝗼𝘂𝘁𝗶𝗹 ? Les langages synchrones, véritables métronomes du code, qui orchestrent chaque action au bon instant, ni trop tôt, ni trop tard.
Pour vérifier que tout fonctionne “comme prévu”, les chercheurs utilisent des assistants de preuve, des programmes qui questionnent ligne après ligne le compilateur, jusqu’à obtenir une preuve formelle que tout est correct.
Un épisode au cœur des systèmes dits critiques, là où la science du code ne tolère aucune erreur.

Intervention / Responsable scientifique

Dans la même collection

Sur le même thème