Enseignements à l'ENSIIE (en 2007/2008)
- Algorithmique et programmation Caml (ENSIIE, première année)
- Algorithmique et programmation C (ENSIIE, première année)
- Compilation (ENSIIE, deuxième année)
- Projet mathématique (ENSIIE, deuxième année)
- Spécifications formelles (ENSIIE et FIP, deuxième année)
- Analyse statique (ENSIIE et master M2 MOPS, troisième année)
- Projet en Coq (ENSIIE, troisième année)