2021 - 2022

Algorithmique et programmation, 1er semestre, TD de L3 à l'ENS
Programmation fonctionnelle, 1er semestre, TP de L2 à Sorbonne Université
Outils logiques, 2nd semestre, Cours/TD de L2 à l'Université de Paris

2022 - 2023

Algorithmique et programmation, 1er semestre, TD de L3 à l'ENS
Programmation fonctionnelle, 1er semestre, TD/TP de L2 à Sorbonne Université
Introduction à la calculabilité et à la décidabilité, 2nd semestre, TD/TP de L3 à Sorbonne Université