Link to my research home page.

Je suis maître de conférences à l'ENSEIRB affecté au département informatique.

Première année

• IF114 : Automates finis et applications (C+TD)

Deuxième année

• IF205 : XML et programmation web (C+TD)

Troisième année

• Option QFIAB "Qualité et Fiabilité des Composants et Systèmes"
• IT334 : Formalismes de description de systèmes (CI)
• IF309 : Vérification formelle (CI)
• ME340 : Introduction au test de logiciels (CI)