• Home
• Publications
• Talks
• Teaching
• Misc

Master 2

I teach in the VTS module of 2nd year Master recheche Informatique the following lectures:

• Timed automata (Slides)
• (Probabilistic) Model-checking (Slides)

Prépa Agreg

En prépa Agreg option D à l'ENS Ker Lann je donne une partie du cours Langages Formels. Les transparents.

Past

Informations on my past teaching activities (2004/2006) are on my previous webpage, see "Monitorat" (in french only).