Link to my research home page.

Je suis maître de conférences à l'IPB où je suis affecté au département informatique de l'ENSEIRB MATMECA

Première année

• IF114 : Automates finis et applications (CI)
• IF105 : Logique et preuve de programmes (C+TD)
• PG116 : Atelier algorithmique et programmation (CI)

Troisième année

• IF311 : Conception formelle des logiciels (CI)
• RE319 : Ingénierie des protocoles - introduction au model-checking (TP)
• Option ESSV Nouveau rentrée 2012

Divers

• Une classe LaTeX pour les sujets d'examens et les feuilles de TD à l'ENSEIRB-MATMECA (version du : 01/02/2011)