Mes enseignements :

• Spécifications algébriques et test de logiciel) [L2]
• Modélisation (UML; techniques de développement de logiciels [L3 et INFO1]
• Spécifications de systèmes dynamiques) (ou Génie Logiciel Avancé) [M1 et INFO2]
• Spécifications des systèmes complexes [M2]
• Abstraction et raffinement [M2]

et avant ...

• Théorie des Langages et Compilation [DEUG2 puis L3]
• Spécifications formelles et orienté objet [DEA]
• Génie Logiciel (spécifications de systèmes) [ILOG1]
• Introduction au Génie Logiciel (spécifications de structures de données; test de logiciel) [CP2I]

et encore avant ...

Responsable du DESS de Génie Informatique
Responsable de la Licence et de la Maîtrise d'Informatique
Enseignements:
Mathématiques pour l'Informatique (L2 en Licence)
Génie Logiciel (M1 en Maîtrise)
Méthodes Formelles pour le Dévelopement de Logiciel (option Maîtrise)
Spécifications Formelles et Applications (DESS)
Spécifications Formelles (DEA)