2011/2012
- TP de Logique pour l'Informatique, License en Informatique (prof. Claudio Sacerdoti Coen);
2010/2011
- Introduction à l'Informatique Théorique, Master en Systèmes Complexes;
- Preuves, Master en Informatique (avec Barbara Petit, cours de Jean Duprat);
2008/2009
- TP du cours d'Algorithmique, L3 en Mathématiques (Jean-Michel Autebert);
- TP du cours de Logique, L3 en Informatique (Delia Kesner);
- TD/TP du cours de Programmation Réseau, L3 en Informatique (Juliusz Chroboczek).
2007/2008
- TD du cours d'Analyse Mathématique, théorie des limites, "Laurea" en Mathématiques (Mario Girardi).