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

• 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