Teaching
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
- Introduction à la preuve de propriété
de programmes avec SOSSubC, Master 1 Informatique,
cours +
polycopié
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
- Systèmes informatiques,
Licence 1 Informatique,
TP03 +
TP06 +
TP10
2003--2004
- Algorithmique et programmation Java,
ESINSA 1, partiel
sujet a +
sujet b,
examen
sujet a +
sujet b,
projet
sujet
- Algorithmique et programmation Java,
ESINSA 2, partiel
sujet,
projets
sujets
- Systèmes d'exploitation,
ESINSA 2 (TP)
2002--2003
2001--2002
- Algorithmique et programmation,
DEUG MIAS MI1 (TD)
- Programmation fonctionnelle,
DEUG MIAS MP2 (TD)