2010-2011
- M2 ILC Certification du logiciel
- L2.S2 Logique
- M1.S2 Ingénierie de la preuve
- L2.S4 Techniques de programmation
- L1.S2 Modèles de Calcul
- ENSIIE Logique
Années précédentes
- Université de Strasbourg
- 2009--2010
- M2 ISI La méthode des aires (.pdf)
- L1.S1# Algorithmique et programmation 1
- L2.S2# Logique
- M1.S2 Ingénierie de la preuve
- L2.S4 Techniques de programmation
- L1.S2 Modèles de Calcul
- 2008--2009
- L1.S1 Algorithmique et programmation 1
- L2.S2 Logique
- L1.S2 Algorithmique et programmation 2
- M1.S2 Ingénierie de la preuve
- L2.S4 Techniques de programmation
- 2007--2008
- L2.S1 Logique
- L1.S2 Algorithmique et programmation 2
- M1.S2 Ingénierie de la preuve
- L2.S4 Techniques de programmation
- 2009--2010
- Monitorat Université Paris XI
- 2005--2006
- Travaux pratiques du cours d'approche fonctionnelle de la programmation, L2
- Travaux dirigés du cours d'architecture
des ordinateurs, L3
- 2004--2005
- Travaux pratiques du
cours de compilation.
(Réalisation d'un compilateur C), Maîtrise
- Travaux dirigés du cours sur les principes d'interprétation des langages, Licence
- Travaux pratiques du
cours de compilation.
(Réalisation d'un compilateur C), Maîtrise
- 2003--2004
- Travaux pratiques du cours de compilation. (Réalisation d'un compilateur Java), Maîtrise
- Travaux pratiques du cours d'approche fonctionnelle de la programmation, deuxième année de Deug
- 2005--2006
- Vacations à l'Ecole Polytechnique
- 2004 : Travaux pratiques du cours d'introduction à l'informatique (INF 311), première année.
