- En M1, à l'ENS Lyon:
- TPs du cours de Preuves (en Coq) de Jean Duprat, avec Paolo Tranquilli.
- En L1, à
l'Université
de Lyon 1:
- TDs et TPs du cours de LIF3 (Logique, Programmation fonctionnelle et récursive) de Florence Zara.
Année 2009-10:
- TDs du cours de FDI1 (Fondements de l'Informatique) de Guillaume Hanrot en L3, avec Julien Bigot.
- TDs et TPs du cours de LIF5 (Algorithmique et programmation procédurale) de Carole Knibbe en L2.
Année 2008-09:
- TDs du cours de Prog1 de Daniel Hirschkoff en L3, avec Romain Demangeon et Aurelien Pardon.
- TPs du cours de PCI de Jean Michel Moreau en L1 avec Irénée Briquel.
- TPs du cours de LIF1 (Algorithmique et Programmation Impérative) de Elodie Desserée en L1.