Section: Dissemination

Teaching - Supervision - Juries

Teaching

Serge Haddad and Paul Gastin are professors at ENS Cachan (now ENS Paris-Saclay), Claudine Picaronny, Thomas Chatain and Stefan Schwoon are associate professors of the same university. Serge Haddad is the head of the Computer Science Department, and Stefan Schwoon is in charge of the L3 class. Claudine Picaronny is a co-director of the ENS Paris-Saclay's Mathematics department and a member of the juries of 'l'agrégation interne de Mathématiques' and of the second 'concours de Mathématiques' of ENS Cachan; she is also the coordinator of the mathematics/computer science examination of E3A, parts MP and MC.

• Master : Benedikt Bollig, Non-sequential Theory of Distributed Systems, 36, M2, MPRI, ENS Cachan, France.

Supervision

• Defended theses:

  • PhD ([3])by Salim Perchy , 'Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes', École Polytechnique, defended October 4, supervised by Stefan Haar and Franck Valencia (COMETE team).

  • PhD by Simon Theissing [4], 'Supervision for Multimodal Tranport Systems', ENS Cachan, defended December 5, supervised by Stefan Haar.

• PhD in progress:

  • Tymofii PROKOPENKO, Ecole Polytechnique since Oct 1, 'Privacy', jointly supervised by Catuscia Palamidessi (COMETE team) and Serge Haddad;

  • Engel Lefaucheux, ENS Paris-Saclay since 2015, 'controlling information in probabilistic systems', jointly supervised by Nathalie Bertrand (SUMO team) and Serge Haddad

  • Yann Duplouy, ENS Paris-Saclay since 2015,'application of formal methods to the development of embedded systems for autonomous vehicles', supervised by Béatrice Bérard and Serge Haddad. Marie Fortin (ENS Paris-Saclay since Oct 1); 'Tree-automata techniques for the analysis of distributed systems', co-supervised by Benedikt Bollig and Paul Gastin.

  • Hugues Mandon (ENS Paris-Saclay since Oct 1, Digicosme Grant), Computational Models and Algorithms for the Prediction of Cell Reprogramming Strategies; supervised by Stefan Haar, co-supervision by Loic Paulevé (LRI).

  • Robert Najvirt (TU Wien, Austrian FWF SIC project), realistic delay models with applications in high-speed and low-power circuits, co-supervised by Matthias Függer and Andreas Steininger.

  • Martin Perner (TU Wien, Austrian FWF SIC project), clock generation on-chip and formalisms suitable to prove correct VLSI circuits, co-supervised by Matthias Függer and Ulrich Schmid.

  • Juergen Maier (TU Wien, Austrian FWF SIC project), on realistic delay models with applications in high-speed and low-power circuits, with focus on noise and high-order models, co-supervised by Matthias Függer and with Ulrich Schmid.

Juries

• Benedikt bollig was

  • reviewer and jury member of the PhD thesis Logics on Data Words: Expressivity, Satisfiability, Model Checking by Ahmet Kara (Supervisor: Thomas Schwentick), Universität Dortmund, Germany, 2016, and

  • Reviewer of the PhD thesis Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic by Thomas Weidner (Supervisor: Manfred Droste), Universität Leipzig, Germany, 2016

• Thomas Chatain was a member of the jury for the PhD defense of María Martos-Salgado, Universidad Complutense de Madrid, in January 2016.

• In addition to the juries of the two supervised students, Stefan Haar was the president of the jury for the PhD of Hassan Ibrahim, on 'SAT-based Diagnosability and Predictability Analysis in Centralized and Distributed Discrete Event Systems' at Université Paris-Sud on December 16.

• Serge Haddad was

  • a member of the juries for the PhD of Amira Methni on 'Méthodes de vérification de logiciel système critique", on July 7, 2016, at CNAM,

  • the president of the PhD jury for Hadrien Bride on "Verifying Modal Specifications of Workflow Nets" on October 24, 2016, at Université de Franche-Comté, and

  • a member of the HdR jury for Yann Thierry-Mieg, "From Symbolic Verification To Domain Specific Languages", on December 7, 2016, at Université Paris 6.