Section: Dissemination

Teaching, Supervision, Juries

Teaching

• Licence: Jasmin Blanchette and Daniel Wand, Concrete Semantics with Isabelle/HOL, 60 HETD, Universität des Saarlandes, Germany

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

• Licence: Marie Duflot-Kremer, Projet personnel, 15 HETD, L2 informatique, Université de Lorraine, France.

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

• Licence: Marie Duflot-Kremer, Projet personnel et communication, 50 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, 30 HETD, M2 Informatique, Université de Lorraine, France.

• Master: Marie Duflot-Kremer and Stephan Merz, Elements of Model Checking, 36 HETD, M2 Informatique and Master Erasmus Mundus DESEM, Université de Lorraine, France.

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

• Licence: Pascal Fontaine, Logique des prédicats, 32 HETD, L2 MIASHS, 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: Pascal Fontaine, Procédures de décision et vérification de programmes, 6 HETD, M2 informatique, Université de Lorraine, France.

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

• Master: Dominique Méry, Modeling and verification of distributed algorithms, 30 HETD, M1, Université de Lorraine, France.

• Master: Dominique Méry, Modeling and verification of distributed algorithms, 30 HETD, M1 informatique, Université de Lorraine, France.

• Master: Dominique Méry, Modeling and verification of software systems, 60 HETD, M1 (continued education), Telecom Nancy, Université de Lorraine, Nancy.

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

• Licence: Martin Quinson, Algorithmique et Programmation, 48 HETD, L3, Telecom Nancy, Université de Lorraine, France.

• Licence: Martin Quinson, Langage C et programmation shell, 48 HETD, L3, Telecom Nancy, Université de Lorraine, France.

• Master: Martin Quinson, Programmation Système, 24 HETD, M1, Telecom Nancy, Université de Lorraine, France.

• Master: Thomas Sturm and Christoph Weidenbach, seminar on decision procedures, Universität des Saarlandes, Germany.

• Master: Uwe Waldmann, Automated Reasoning, 90 HETD, Universität des Saarlandes, Germany

Supervision

• PhD: Manamiary Andriamiarina, Développement d'algorithmes répartis corrects par construction, Université de Lorraine. Supervised by Dominique Méry, defended on October 20, 2015.

• PhD: Marion Guthmuller, Dynamic verification of distributed applications, using a model-checking approach, Université de Lorraine. Supervised by Martin Quinson and Sylvain Contassot-Vivier, defended on June 29, 2015.

• PhD: Manuel Lamotte Schubert, Automatic Authorization Analysis, Saarland University. Supervised by Christoph Weidenbach, defended on September 18, 2015.

• PhD: Martin Suda, Resolution-based Methods for Linear Temporal Reasoning, Universität des Saarlandes. Supervised by Christoph Weidenbach, defended on October 16, 2015.

• PhD in progress: Noran Azmy, On the Automation of Proofs in TLAPS, Saarland University. Supervised by Stephan Merz and Christoph Weidenbach, since 11/2012.

• PhD in progress: Haniel Barbosa, Refutational Completeness in Satisfiability Modulo Theories, Université de Lorraine and UFRN (Natal, Brazil). Supervised by David Déharbe, Pascal Fontaine, and Stephan Merz, since 12/2013.

• PhD in progress: Gabor Alági, Efficient Reasoning in Finite Domains, Saarland University. Supervised by Christoph Weidenbach, since 11/2012.

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

• PhD (on hold for personal reasons): Pablo Federico Dobal, Satisfiability Modulo Arithmetic Theories, Université de Lorraine and Saarland University. Supervised by Pascal Fontaine, Stephan Merz, and Thomas Sturm, since 09/2014.

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

• PhD in progress: Marek Košta, Computational Logic, Universität des Saarlandes. Supervised by Thomas Sturm, since 11/2011.

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

• PhD in progress: Daniel Wand, First-Order Extensions to Support Higher-Order Reasoning, Saarland University. Supervised by Christoph Weidenbach, since 02/2011.

Thesis committees

• Dominique Méry served as PhD examiner at IRIT.

• Stephan Merz served as a reviewer for the PhD theses of Luís Diogo Couto (Aarhus University, Denmark), Hugues Evrard (University of Grenoble), Laure Millet (University Pierre et Marie Curie, Paris), and Alexander Schimpf (University of Freiburg, Germany).

• Uwe Waldmann served as a reviewer for the PhD thesis of Simon Cruanes (École Polytechnique).