Section: Dissemination
Teaching - Supervision - Juries
Teaching
-
Licence : Pierre-Etienne Moreau, Responsible of the course “Introduction to Algorithms and Programming” (http://www.depinfonancy.net/s5/tcs13 ), first year at Mines-Nancy (150 students), Université de Lorraine, France
Supervision
-
PhD in progress : Jean-Christophe BACH, "Transformation de modèles et certification", November 1st 2010, Pierre-Etienne Moreau
-
PhD in progress : Amira HENAIEN, "Certification du raisonnement formel porté sur des systèmes d’information critiques.", November 1st 2010, Sorin Stratulat
Juries
Horatiu Cirstea:
-
PhD committee of Henri Debrat, “Certification formelle de la correction d'algorithmes de Consensus”, Nancy 2013
Pierre-Etienne Moreau:
-
PhD committee of Mathieu Giorgino, reviewer, Toulouse, 2013: “Inductive Representation, Proofs and Refinement of Pointer Structures”
-
PhD committee of Clément Guy, reviewer, Rennes, 2013: “Facilités de typage pour l'ingénierie des langages”
-
PhD committee of Pengfei Liu, reviewer, Bordeaux, 2013: “Intégration de politiques de sécurité dans des systèmes ubiquitaires”
-
PhD committee of Laurent Wouters, Paris, 2013: “Multi-Domain Expert-User Modeling Infrastructure”