Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Jasmin Blanchette, Logical Verification, 36 HETD, M1/M2, Vrije Universiteit Amsterdam, the Netherlands.

• Licence: Marie Duflot-Kremer, Algorithmique et Programmation 1, 70 HETD L1 Mathématiques, Informatiques Sciences pour l'Ingénieur, Université de Lorraine, France.

• Licence: Marie Duflot-Kremer, Bases de données 2, 20 HETD, L2 Informatique, Université de Lorraine, France.

• Licence: Marie Duflot-Kremer, Projet personnel et communication, 60 HETD, L2 Informatique, Université de Lorraine, France.

• Master : Marie Duflot-Kremer, Vérification de systèmes, 30 HETD, M1 Informatique, Université de Lorraine, France.

• Master: Marie Duflot-Kremer and Stephan Merz, Vérification algorithmique, 40 HETD, M2 Informatique, Université de Lorraine, France.

• Master : Marie Duflot-Kremer and Stephan Merz, Conception et architectures distribuées 24 HETD M1 informatique, Université de Lorraine, France.

• Licence : Pascal Fontaine, Structure des ordinateurs, 47 HETD, L2 MIASHS, parcours MIAGE, Université de Lorraine, France.

• Master : Pascal Fontaine, Réseaux, 50 HETD, M1 MIAGE, Université de Lorraine, France.

• Master : Pascal Fontaine, Génie Logiciel, 30 HETD, M1 MIAGE, IGA Rabbat et Université de Lorraine, Maroc.

• Master: Dominique Méry, Models and algorithms, 60 HETD, M1, Telecom Nancy, Université de Lorraine, France.

• Master: Dominique Méry, Formal model engineering, 24 HETD, M2, Telecom Nancy, Université de Lorraine, France.

• Master: Dominique Méry, Modeling Systems, 30 HETD, M2, Telecom Nancy, Université de Lorraine, France.

• Master: Dominique Méry, Modeling Systems, 36 HETD, M2 Informatique and Master Erasmus Mundus DESEM, Université de Lorraine, France.

• Master: Dominique Méry, Event-B modeling, 8 HETD, NUI Maynooth, Ireland.

• Master: Stephan Merz, Modeling and Verifying Distributed Algorithms in TLA⁺, 8 HETD, NUI Maynooth, Ireland.

• Master: Christoph Weidenbach, Automated Reasoning I & II, 150 HETD, Universität des Saarlandes, Germany.

Supervision

• PhD: Haniel Barbosa, New techniques for instantiation and proof production in SMT solving, Université de Lorraine and UFRN (Natal, Brazil) [11]. Supervised by David Déharbe, Pascal Fontaine, and Stephan Merz, since 12/2013. Defended on September 5, 2017.

• PhD: Andreas Teucke, An Approximation and Refinement Approach to First-Order Automated Reasoning, Saarland University. Supervised by Christoph Weidenbach, thesis submitted in October 2017.

• PhD: Daniel Wand, First-Order Extensions to Support Higher-Order Reasoning, Saarland University [12]. Supervised by Christoph Weidenbach and Jasmin Blanchette, since 02/2011. Defended on August 4, 2017.

• PhD in progress: Martin Bromberger, Arithmetic Reasoning, Saarland University. Supervised by Christoph Weidenbach, since July 2014.

• PhD in progress: Margaux Duroeulx, SAT Techniques for Reliability Assessment, Université de Lorraine. Supervised by Nicolae Brînzei, Marie Duflot-Kremer, and Stephan Merz, since October 2016.

• PhD in progress: Daniel El Ouraoui, Higher-Order SMT, Université de Lorraine. Supervised by Jasmin Blanchette, Pascal Fontaine, and Stephan Merz, since November 2017.

• PhD in progress: Mathias Fleury, Formalization of Logical Calculi, Saarland University. Supervised by Christoph Weidenbach and Jasmin Blanchette, since September 2015.

• PhD in progress: Souad Kherroubi, A framework to formally handle domain knowledge in system design, Université de Lorraine. Supervised by Dominique Méry, since November 2014.

• PhD in progress: Nicolas Schnepf, Orchestration and Verification of Security Functions for Smart Environments, Université de Lorraine. Supervised by Rémi Badonnel, Abdelkader Lahmadi, and Stephan Merz, since October 2016.

• PhD in progress: Hans-Jörg Schurr, Higher-Order SMT, Université de Lorraine. Supervised by Jasmin Blanchette, Pascal Fontaine, and Stephan Merz, since November 2017.

• PhD in progress: Marco Voigt, Decidable Hierarchic Combinations, Saarland University. Supervised by Christoph Weidenbach, since November 2013.

Thesis committees

• Stephan Merz served as a reviewer for the PhD theses of Florent Chevrou (Univ. de Toulouse), Sebastian Krings (Univ. Düsseldorf), Ognjen Marič (ETH Zurich), and Yannick Zakowski (ENS Rennes). He was an examiner for the PhD thesis of Zeinab Bakhtiarinoodeh (Univ. de Lorraine) and the habilitation of Alain Giorgetti (Univ. de Bourgogne et Franche Comté).