Enseignements
2011-2012:
2010-2011:
2009-2010:
- L1 - UCBL: TD et TP du cours LIF1.
Initiation à la programmation impérative (responsable du cours: Élodie Dessere).
- L3 - ENS Lyon: TD du cours Programmation 2.
Logique formelle, sémantique opérationnelle, certification de programmes, …
(responsable du cours: Pierre Lescane).