2011-2012

2010-2011

Cryptologie : nouvelles primitives et applications, cours de Master Recherche à l'École Normale Supérieure de Lyon, Septembre-Décembre 2010.
Module partagé avec Guillaume Hanrot.
Groupe de lecture en cryptologie, niveau Licence (L3), à l'École Normale Supérieure de Lyon, Janvier-Juin 2011.
Module partagé avec Nicolas Brisebarre, François Brunault et Guillaume Hanrot.

Algorithmique des réseaux euclidiens et applications, cours de Master Recherche à l'École Normale Supérieure de Lyon, Septembre-Novembre 2007.
Volume horaire (eq TD): 45h.
Algorithmique des réseaux euclidiens et applications, cours de Master Pro à l'ISFA (Université de Lyon 1), Janvier-Mars 2008.
Volume horaire (eq TD): 46h.
Algorithmic aspects of the geometry of numbers, Honours degree course, Department of Mathematics and Statistics of the University of Sydney.
Volume horaire (eq TD): 45h.

Enseignements effectué à l'Université Henri Poincaré.

TD/TP d'algorithmique et programmation, en L1.
Volume horaire (eq TD): 40h. Langage: Caml.
TD de logique informatique, en M1 (info).
Volume horaire (eq TD): 30h. Langages: Caml, Prolog.

Enseignements effectué à l'Université Henri Poincaré.

TP de logique informatique, en maîtrise (info).
Volume horaire (eq TD): 12h. Langages: Caml, Prolog.
TD d'initiation aux probabilités et au calcul numérique, en licence (info).
Volume horaire (eq TD): 20h.
Module d'initiation à la recherche, en maîtrise (info).
Volume horaire (eq TD): 8h.
TD/TP d'algorithmique, en licence (maths).
Volume horaire (eq TD): 25h. Langage: Ada.