Olivier HERMANT est enseignant-chercheur en informatique à l’école des Mines de Paris et nous a fait bénéficier de ses recherches sur les méthodes formelles.
Son expertise sur le sujet lui en a fait présenter les fondements mathématiques (théorèmes de Gödel, Rice), ainsi que les applications pratiques en sûreté (transports de masse, nucléaire civil), sécurité (processeurs, passeports biométriques)…
Il nous a fait réaliser, à travers de nombreux exemples, l’expertise particulière de la France en la matière.

Les nombreuses questions des participant ont montré leur vif intérêt, et les réponses, fournies, illustrées et pertinentes d’Olivier ont permis d’alterner entre concepts mathématiques, outils (Coq, CompCert…) et… exemples d’impacts (fusée Ariane, F22 traversant la ligne de partage de date….).

Une soirée qui a beaucoup apporté à nos réflexions collectives, et dont la présentation est à disposition et les échanges sont à découvrir dans le compte-rendu, librement distribuable.