Teaching
2012--2013
- Algorithmique et structures de données, EPU SI3 (TD)
- Jury soutenances de stage, Master IFI (apprentis)
- Encadrement de stage, 1ère année de Master (2 mois)
2011--2012
- Introduction à Internet, EPU PEiP2 (cours TD + projet)
- Introduction à CBMC, EPU SI4 (TD)
2010--2011
- Outils bureautique, IUT QLIO (TD + TP)
2009--2010
- Langage C, IUT Réseau et
Télécommunications (TP)
- Bases de données, IUT Réseau et
Télécommunications (TP)
2007--2008
- Atelier Mobinet, Semaine de
l'Ingénieur INPG (TP)
2005--2006
- Outils de l'analyse mercatique,
Informatique appliquée, IUT Techniques de
Commercialisation, TP01 + TP02 + TP03 + TP04 (TD + TP)
- Introduction à la preuve de propriété
de programmes avec SOSSubC, Master 1 Informatique,
cours +
polycopié (cours)
2004--2005
- Compilation, analyses lexicale et
syntaxique, Licence 3 Informatique (TP)
- Préparation et présentation de
documents, Licence 3 Informatique,
page
web de l'enseignement (cours + TD)
- Systèmes informatiques,
Licence 1 Informatique,
TP03 +
TP06 +
TP10 (TP)
2003--2004
- Algorithmique et programmation Java,
ESINSA 1, partiel
sujet a +
sujet b,
examen
sujet a +
sujet b,
projet
sujet (TP)
- Algorithmique et programmation Java,
ESINSA 2, partiel
sujet,
projets
sujets (TP)
- Systèmes d'exploitation,
ESINSA 2 (TP)
2002--2003
2001--2002
- Algorithmique et programmation,
DEUG MIAS MI1 (TD)
- Programmation fonctionnelle,
DEUG MIAS MP2 (TD)