Teaching
ENS/Université Rennes 1
- Compilation, tutorial and practical works, M1 [2014-2015]
ENS Cachan (antenne de Bretagne)
- Modélisation, Préparation a l’Agrégation ENS, tutorial/practical works (OCaml), M2 [2013-2015]
- Logique et Calculabilité at the Magistère Informatique et Télécommunications (MIT), tutorial, L3 [2012-2015]
INSA de Rennes
- Modélisation et tests de structures de données, practical works (introduction to Java), L3 [2013-2014]
- Informatique 1, practical works (scheme introduction), L1 [2012-2013]