2011 – 2012
- Teaching Assistant (T.A.) in INF441 (Modal Web) in École Polytechnique (Palaiseau, France)
- T.A. at the MAP Spring School (Coq/ssreflect) in Inria Sophia-Antipolis (France)
2010 – 2011
- T.A. in INF431 (Algorithmic in Java) in École Polytechnique
- T.A. in INF545 (Coq/ssreflect) in École Polytechnique
2009 – 2010
- T.A. in INF311 (Programming in Java for beginners) in École Polytechnique
- T.A. in INF431 in École Polytechnique
2007 – 2009
- Caml Lessons in “Classes Préparatoires” of “Lycée Stanislas” (Paris, France)
2006 – 2007
- Khôlles in MP* of “Lycée Saint-Louis” (Paris, France)
- Caml Lessons in “Classes Préparatoires” of “Lycée Stanislas”
This page was last updated at
2014-12-01 03:52:16 +0100
This site is compiled with
nanoc
and hosted by
Cr@ns