Enseignements

2011-2012:

• L3 - ENS Lyon: TD/TP du cours de Théorie de la programmation. Sémantique opérationnelle en COQ (responsable du cours: Daniel Hirschkoff). Devoir à rendre: certification d'un mini-compilateur pour IMP (énoncé).
• M1 - UCBL: TD/TP du cours MIF11 Réseaux. Performances d'un réseau, protocoles de transport (responsable du cours: Thomas Begin).

2010-2011:

• L3 - ENS Lyon: TD/TP du cours Programmation 1. Programmation fonctionnelle, sémantique opérationnelle, λ-calcul, typage, continuations, … (responsable du cours: Daniel Hirschkoff).
• L3 - ENS Lyon: TD du cours Fondements de l'informatique 2. Théorie des modèles et sémantique dénotationnelle (responsable du cours: Alexandre Miquel).

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).