[Enseignement]

Jean-Marc Champarnaud
Professeur à l’Université de Rouen
Laboratoire LITIS (EA 4108)

Cours enseignés :

• en première année de Master d’Informatique : théorie des automates, langage C++.
• en seconde année de Master d’Informatique : algorithmique et applications des automates, initiation à la vérification.