Denotational Semantics Part II (3ème année). Pages internet: automne 2023, automne 2024.

Proof Assistants Master & Part III (4ème année), co-enseigné avec Thomas Bauereiss. Page internet: 2024.

Hoare Logic and Model Checking Part II (3ème année).

• Informatique fondamentale 2 (20-21, 21-22) Informatique théorique en L3 Informatique.

• Logique pour l'informatique (21-22) L2 informatique.

• Introduction aux systèmes d'information (21-22) Conception de SI, en particulier de bases de données, L2 Informatique.

• Outils de calcul pour les sciences (19-20, 20-21, 21-22) Bases de calcul, L1 Maths Informatique Physique-Chimie, format cours-TD.

• Informatique pour BGC (19-20, 20-21) Introduction à l’informatique, L1 Biologie Géologie Chimie.

• Mathématiques pour l’informatique 2 (19-20) Algèbre linéaire, L2 Informatique.

Durant mon M2 avec Rémy Cerda nous avons enseigné un cours d’introduction à la théorie des catégories pour à nos camarades de l’ENS Lyon, à raison d’un cours de 2h par semaine pendant tout le semestre, préparé en alternance par Rémy et moi. Notre référence principale était le livre de Steve Awodey.