Faites-vous confiance à votre thermostat ?

Abstract

Certains systèmes logiciels qui interagissent avec le monde réel ne doivent échouer sous aucun prétexte, au risque de provoquer des catastrophes. Comment s’assurer que ces systèmes sont sûrs ? En particulier, quel degré de confiance accorder au processus de traduction de ces logiciels vers du code exécutable ?

Lelio Brun

Postdoctoral research scientist in Computer Science

My research interests include synchronous languages, functional programming and verified compilation.