Résumés des cours et séminaires du professeur

2021-2022 – Sécurité du logiciel : quel rôle pour les langages de programmation ?

2020-2021 – Logiques de programmes : quand la machine raisonne sur ses logiciels

2019-2020 – Sémantiques mécanisées : quand la machine raisonne sur ses langages

2018-2019 – Programmer = démontrer ? La correspondance de Curry-Howard aujourd’hui