March 2008: Introduction to typed lambda-calculus and logic
at Tsinghua University
(Beijing, China)
[slides]
January 1999 - June 2001: Teaching assistant in computer science
at the Technical Institute
of the University of Paris 11 (Orsay, France) on database files
management (Cobol and MySQL) and programmation with objects and
modules (ADA)
October 1998 - December 1998: Teaching assistant in computer
science at the University of Paris
11 (Orsay, France) on functional programming
September 1997 - March 2001: Examiner in mathematics in the
"classes préparatoires" of the "lycées" Paul Valéry, Condorcet and Saint Louis
(Paris, France)
