Actuellement : moniteur à l'UFR d'informatique de l' Université Paris Diderot.
TP Machines virtuelles
Cours de machines virtuelles, L3 (2011/2012).
Page du cours.
Page des travaux
pratiques.
TD Logique
Cours de logique, L3 (2010/2011).
Page du cours.
Page des travaux dirigés.
TP Web
Cours "internet et outils", L1 (2010/2011). HTML, CSS, PHP, SQL...
Blog du cours.
TP Coq
Cours "preuve de programme", master Logiciels Critiques (2009/2010), avec
Yann Régis-Gianas.
Page
du cours.
TP Java
Cours d'initiation à l'informatique et à la programmation, L1 (2009/2010).
Page du cours.
Page des TPs.
TP Caml
Option informatique en MP & MP* au Lycée Janson de Sailly (2008/2009).
Programme et sujets.