Section: Dissemination

Teaching

• Sandie Balaguer is a teaching assistant at Paris Diderot University.

• Benedikt Bollig gave a lecture (12h) about distributed timed systems within the Parisian Master of Research in Computer Science (MPRI).

• Thomas Chatain is maître de conférences at ENS Cachan.

• Aiswarya Cyriac is a teaching assistant at the Department of Computer Science of ENS Cachan.

• Hilal Djafri is ATER at University Paris Est Creteil.

• 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. REMPLIR

• Stefan Haar teaches - with Serge Haddad and Thomas Chatain - course on Algorithms in the preparation program for agrégation. He also taught a course on Languages, Decidability and Complexity in the DISC PhD Summer School in Cagliari/IT, June 2011.

• Serge Haddad is a professor at ENS Cachan. He teaches “Algorithms” in L3 and in the preparation program for the Agregation of Mathematics. He also teaches “Computational Complexity” in L3 and “Probabilistic Aspects of Computer Science” in M1.

• Benjamin Monmege is a teaching assistant at ENS Cachan. REMPLIR

• César Rodríguez is a teaching assistant at the Department of Computer Science of ENS Cachan.

• Stefan Schwoon is maître de conférences at ENS Cachan. He currently teaches a course and tutorial on operating systems at the L3 level of the ENS Cachan, and a course on verification at the M1 level of the MPRI program. He has also participated in the entrance examination (concours d'entrée en 3ème année, informatique 1) at ENS Cachan in 2011.

• Marc Zeitoun has participated in the entrance examination (concours d’entrée en 3ème année, épreuve écrite Informatique 2) at ENS Cachan 2010. He has taught a course on weighted automata in the master’s program MPRI 2010-11 (C 2-8). He has taught a lecture on algebraic aspects of language theory, at the spring school École de Printemps d’Informatique Théorique in May 2011.

PhD & HdR PhD theses in progress:

• Sandie Balaguer, since September 2010: Concurrency in real-time distributed systems, under the supervision of Thomas Chatain and Stefan Haar.

• Benoît Barbot, since September 2011: Rare events for statistical model checking, under the supervision of Serge Haddad and Claudine Picaronny.

• Aiswarya Cyriac, since September 2010: Temporal logics for concurrent recursive programs, under the supervision of Benedikt Bollig and Paul Gastin

• Hilal Djafri, since October 2008: Numerical and Statistical Approaches for Model-Checking of Stochastic Processes, under the supervision of Serge Haddad.

• Benjamin Monmege, since September 2010: Verification of qualitative properties and applications to queries for XML documents, under the supervision of under the supervision of Benedikt Bollig and Paul Gastin.

• Hernán Ponce de Léon, since September 2011: conformance testing for concurrent systems through event structures, under the supervision of Stefan Haar and Delphine Longuet (LRI).

• César Rodríguez, since September 2010: Contextual nets and their applications, under the supervision of Stefan Schwoon.