Teaching (in French)
2011-2012
: 64 heures équivalent TD - École Nationale Supérieure d'Informatique et de Mathématiques Appliquées (ENSIMAG).
Algorithmique et programmation orientée objet (2A)
Responsable de la filière "
Ingénierie des Systèmes d'Information
" avec Claudia Roncancio
2010-2011
: 64 heures équivalent TD - École Nationale Supérieure d'Informatique et de Mathématiques Appliquées (ENSIMAG).
Théorie des langages (1A)
Algorithmique et programmation orientée objet (2A)
2009-2010 : 64 heures équivalent TD - École Nationale Supérieure d'Informatique et de Mathématiques Appliquées (ENSIMAG).
Algorithmique et programmation orientée objet (2A)
Spécification et validation de processus répartis (3A)
2008-2009
: 40 heures de TD - École Technique Supérieure d'Ingénierie Informatique, Université de Málaga.
Méthodologie de la programmation (Ingénierie Informatique, première année)
2007-2008
: 40 heures de TD - École Technique Supérieure d'Ingénierie Informatique, Université de Málaga.
Méthodologie de la programmation (Ingénierie Informatique, première année)
2002-2003
: 64 heures équivalent TD - Departement d'Informatique, Université de Nantes.
TD/TP de CSI (IUP MIAGE 2ème Année) : Réseaux de Petri, MCT, automates, JSD, DFD
TD/TP de Génie Logiciel (Maitrise d'informatique) : LP, ADA
Projet de maitrise : Vérification dans les diagrammes d'état d'UML étendus avec des données formelles
2001-2002
: 64 heures équivalent TD - Departement d'Informatique, Université de Nantes.
TD/TP de CSI (IUP MIAGE 2ème Année) : Réseaux de Petri, MCT, automates, JSD, DFD
TD/TP de Programmation Evénementielle (IUP MIAGE 2ème Année) : JAVA
TP de Réseaux (Licence informatique) : C
Projet de maitrise : Animation de spécifications
Cours de DEA -- Un exemple de combinaison d'une algèbre de processus et d'un langage de spécifications algébriques : fondements formels
2000-2001
: 64 heures équivalent TD - Departement d'Informatique, Université de Nantes.
TP de I3 (DEUG A 2ème Année) : Pascal et CAML
TD/TP de Génie Logiciel (IUP MIAGE 2ème Année) : JAVA, UML
TP de Réseaux (IUP MIAGE 2ème Année) : C
Encadrement de 3 stages de fin d'année (IUP MIAGE 2ème Année)
1999-2000
: 64 heures équivalent TD - Departement d'Informatique, Université de Nantes.
TP de I1A (DEUG A 1ère Année) : Pascal
TP de B2 (DEUG B 2ème Année) : Pascal
TP de I2 (DEUG A 1ère Année) : CAML