2013-2014
- MPRI:
Synchronous systems (www)
- project: Lustre Model Checker
2012-2013
- ENS L3: Programming languages and compilation (www)
- MPRI: Synchronous systems
- Polytech Paris-Sud: Operating systems (www)
- ENS L3: Operating systems and networking (www)
2011-2012
- ENS L3: Programming languages and compilation
- MPRI: Synchronous systems
- Polytech Paris-Sud: Operating systems (slides)
- ENS L3: Operating systems and networking
2010-2011
- MPRI: Synchronous systems
- Université Paris-Sud L3: Programming project
- ENS L3: Operating systems and networking
2009-2010
- Université Paris-Sud L3: Algorithmic and functional programming (www)
- Université Paris-Sud M1: Introduction to OCaml (slides)
- Université Paris-Sud M1: Compilation (www)
- Université Paris-Sud M1: Compilation project
- Polytech Paris-Sud: Operating systems (slides)
2008-2009
- Université Paris-Sud L3: Algorithmic and functional programming
- Université Paris-Sud M1:
Compilation
- TD: type inference
- Université Paris-Sud M1: Compilation project
- IFIPS: Operating systems (slides)
2007-2008
- Université Paris-Sud L3: Algorithmic and functional programming
- Université Paris-Sud M1: Compilation
- Université Paris-Sud M1: Compilation project
- IFIPS: Operating systems (slides)