2013-2014
- MPRI :
Systemes synchrones (www)
- projet : Lustre Model Checker
2012-2013
- ENS L3 : Langages de programmation et compilation (www)
- MPRI : Systemes synchrones
- Polytech Paris-Sud : Systèmes (www)
- ENS L3 : Systèmes et réseaux (www)
2011-2012
- ENS L3 : Langages de programmation et compilation
- MPRI : Systèmes synchrones
- Polytech Paris-Sud : Systèmes (transparents)
- ENS L3 : Systèmes et réseaux
2010-2011
- MPRI : Systèmes synchrones
- Université Paris-Sud L3 : Projet de programmation
- ENS L3 : Systèmes et réseaux
2009-2010
- Université Paris-Sud L3 : Algorithmique et Approche Fonctionnelle (www)
- Université Paris-Sud M1 : Mise à niveau OCaml (transparents)
- Université Paris-Sud M1 : Compilation (www)
- Université Paris-Sud M1 : Projet de compilation
- Polytech Paris-Sud : Systèmes (transparents)
2008-2009
- Université Paris-Sud L3 : Algorithmique et Approche Fonctionnelle
- Université Paris-Sud M1 :
Compilation
- TD : inférence de type
- Université Paris-Sud M1 : Projet de compilation
- IFIPS : Systèmes (transparents)
2007-2008
- Université Paris-Sud L3 : Algorithmique et Approche Fonctionnelle
- Université Paris-Sud M1 : Compilation
- Université Paris-Sud M1 : Projet de compilation
- IFIPS : Systèmes (transparents)