Enseignement
- Gestion des connaissances pour l'aide à la décision (M2-DECOL), 2012-
- Algorithmes d'exploration et de mouvement (M1-IMAGINA), 2011-
- Logique des prédicats (L3), 2012
- Bases de données (L2), 2011-
- Logique des propositions (L2), 2014-
- Programmation fonctionnelle (L1), 2011-2014