Enseignements précédents à l'ENS Paris-Saclay

Calculabilité en L3, en 2023 et en 2024.

Tree Automata and Applications en M1, en 2024 et en 2025.

Complexité en L3 Informatique, en 2025.

Langages formels en L3 Informatique, en 2025.