Section: Dissemination

Teaching

Benedikt Bollig is giving a lecture on weighted automata in the Parisian Master of Research in Computer Science (M2).

Paul Gastin is a professor and head of the computer science department at ENS Cachan. He was also head of the Parisian Master of Research in Computer Science until August 2009. He teaches courses on algorithms and on formal languages in the Licence d'informatique (L3), on basics of verification in the Parisian Master of Research in Computer Science (M1), and several topics in the agrégation program at ENS Cachan.

Serge Haddad is a professor at ENS Cachan. He currently teaches courses on Complexity and Advanced Algorithmicin the Licence d'informatique (L3), a course in the program on preparation for agrégation (with S. Haar) a course on Algorithms, and, in MPRI-M2 a course on probabilistic timed systems.

Thomas Chatain is maître de conférences at ENS Cachan. He teaches logic, graph theory, network programming, algorithms and C++ programming. He also prepares for the modélisation option in the agrégation program at ENS Cachan.

Stefan Schwoon is maître de conférences at ENS Cachan. He currently teaches a course on operating systems, a tutorial on logic (both L3) and a course on verification at the M1 level of the MPRI program.