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é
2023 - 2024
Algorithmes et applications, 1er semestre, TD de CPES-2 PSL
Algorithmique et programmation, 1er semestre, TD de L3 à l'ENS