TU Darmstadt
Geometry: tutoring undergraduates, spring 2010.
Ecole Polytechnique
Java: tutoring last year undergraduates, spring 2009.
ENS Lyon
2-hour lecture on game theory for second year graduates, fall 2009.
Tutoring last year undergraduates.
- Logic, proof theory, and lambda calculus, fall 2004 and 2005.
- Formal languages and Automata, fall 2004.
- Programming in O'Caml and C, fall 2005.
INSA Lyon
Tutoring first year undergraduates.
Basics in database, operating system, text editing... fall 2005.
Home