Teaching

Current

I am teaching various classes at IUT d'Orsay (more details in French).

2014: Member of the F* teaching staff of the EasyCrypt-F*-CryptoVerif school
2013: Intervention in the course Functional Programming and Proving at Aarhus University
2010-2013: Tutorial classes ("monitorat") at École Polytechnique (192h):
- INF321: Principles of Programming Languages (first year, 40h of practical sessions and 10h of tutorial sessions)
- INF311: Introduction to computer science (first year, 10h of tutorial sessions)
- INF422: Introduction to Computer Architecture and Operating Systems (second year, 36h)
- INF431: Algorithmic and Programming (second year, 2x36h)
- INF549: Introduction to Objective Caml (third year, 4h)
- INF551: Computer-Aided Reasoning (third year, 18h)
2010: In charge of the course Proofs of Programs at ENSTA in Paris (11h)
2008-2010: Tutorial class of Maple in MP*4 at lycée Louis-le-Grand in Paris (2x30h)
2007-2008: Oral interrogations of mathematics in PCSI at lycée du Parc in Lyon (30h)
2007-2008: Tutorial class of Maple in PT at lycée La Martinière in Lyon (30h)

Last update: Jan. 7^th 2016