Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master: Jasmin Blanchette, Computational Metaphysics (guest lecturer), 4 HETD, Freie Universität Berlin, Germany.

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

• Licence: Marie Duflot-Kremer, Bases de données 1 et 2, 35 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.

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

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

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

• Master: Uwe Waldmann, Automated Reasoning II, 60 HETD, Universität des Saarlandes, Germany. This lecture received the teaching award of the Computer Science Students Association.

Supervision

• PhD: Noran Azmy, An Automated Proof of Correctness for Pastry, Saarland University and Université de Lorraine, defended on November 24, 2016.

• PhD: Marek Košta, Computational Logic, Universität des Saarlandes. Defended on December 13, 2016.

• PhD in progress: Gabor Alági, Efficient Reasoning in Finite Domains, Saarland University. Supervised by 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: Martin Bromberger, Arithmetic Reasoning, Saarland University. Supervised by Christoph Weidenbach, since 07/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: 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 and Jasmin Blanchette, since 02/2011.

Thesis committees

• Dominique Méry served on the committees for the PhD thesis of Pierre Halmagrand (CNAM) and the habilitation thesis of Brahim Hamid (Université Toulouse Jean Jaurès).

• Stephan Merz served as a reviewer for the PhD thesis of Yakoub Némouchi (Université Paris Saclay) and as a PhD examiner for the PhD thesis of Alland Blanchard (Université d'Orléans).