Section: Dissemination

Teaching - Supervision - Juries

Teaching

Here we present the teaching activities of PhD students and researchers; note that in addition to the classes here, four team members (Th. Chatain, P. Gastin, S. Haddad and S. Schwoon) are full-time professors of ENS Cachan and fulfill their teaching obligations there.

• Master : Sandie Balaguer, Programmation en C, 32, M1, U.F.R d'Informatique de Paris 7, France

• Master : Benjamin Monmege, Probabilistic Aspects of Computer Science, 10h, M1, ENS de Cachan, France

• Master : Benoît Barbot, Projet de programmation réseau, 30h, M1, ENS Cachan, France

• Master : Benedikt Bollig, Modeling and verification of real-time distributed systems, 12, M2, MPRI, France

• Ecole d'Ingénieur: Hernán Ponce de León, Algorithmique et Programmation, 32, 3e année (equivalent L3), Ecole Centrale Paris, France

• Master : Stefan Haar, Verification (VSFR), 12, M2, UPMC, France

• Master : Stefan Haar, Modelisation et optimisation (MOPS), 12, M2, Université d'Evry, France

• Agrégation : Stefan Haar, Algorithmique , 42.5, Agrégation option informatique, ENS Cachan

• Master : César Rodríguez, Projet de programmation réseau, 30h, M1, ENS Cachan, France

• Agrégation : César Rodríguez, TP programmation, 24h, Préparation à l'agrégation, ENS Cachan, France

• Licence : Aiswarya CYRIAC, Algorithmique avancée, 60, niveau L3, ENS de Cachan, France

• Licence: Benoît Barbot , Mathématiques Discrètes, 22.5 , L3 , ENS Cachan, France

• Licence : Benjamin Monmege, Machine learning, 60h, L3, ENS de Cachan, France

Supervision

PhD & HdR :

• PhD: Sandie Balaguer, Concurrency in Real-Time Distributed Systems, ENS Cachan, December 13, 2012, supervised by Stefan Haar and Thomas Chatain.

• PhD: Hilal Djafri, Numerical and Statistical Approaches for Model Checking of Stochastic Processes, ENS Cachan, June 19, 2012, supervised by Serge Haddad.

• PhD in progress: Hernán Ponce de Léon, Testing of concurrent systems using event structures, ENS Cachan, supervised by Stefan Haar and Delphine Longuet (Paris XI)

• PhD in progress: César Rodríguez, Contextual Petri Nets and Applications, begun in September 2010,. supervised by Stefan Schwoon

• PhD in progress: Aiswarya Cyriac, Temporal logics for concurrent recursive programs, begun in September 2010, supervised by Benedikt Bollig and Paul Gastin.

• PhD in progress: Benjamin Monmege, Specification and verification of qualitative properties and applications to queries for XML documents, begun in September 2010, supervised by Benedikt Bollig and Paul Gastin.

• PhD in progress: Benoît Barbot, Rare event handling in statistical model checking, begun in September 2011, Serge Haddad and Claudine Picaronny (ENS Cachan).

Juries

Thomas Chatain

participated , as examinator and co-supervisor, in the PhD committee of Sandie Balaguer ([43] , December 13, 2012).

Paul Gastin

was president of the committee for the HDR of Daniele Varacca at Université Paris Diderot.

Stefan Haar

was president of the Ph D committees of Hilal Djafri [44] at ENS Cachan (June 19, 2012)and Hoang-Thach Nguyen at Paris VII (April 18, 2012), and member (as the thesis supervisor) of the PhD committee of Sandie Balaguer ([43] , December 13, 2012). He will be a reviewer for the thesis of Elisabeta Mangioni at University of Milan-Bicocca in Italy.

Serge Haddad

was examinator and thesis supervisor in the Ph D committee of Hilal Djafri [44] at ENS Cachan (June 19, 2012). He also was a reviewer for the thesis of H. Schonenberg at Eindhoven University, mai 2012, and member of the PhD Committees of L. Jezequel (University of Rennes, november 2012, and M. Lauer at INP Toulouse, june 2012.

Stefan Schwoon

participated in the jury de mi-parcours of Ala Eddine Ben Salem, PhD student at LIP6.