EN FR
EN FR


Section: Dissemination

Teaching, Supervision, Thesis Committees

Teaching

  • Licence : Marie Duflot-Kremer, Algorithmique et Programmation 1, 60 HETD, L1, Université de Lorraine, France

  • Licence : Marie Duflot-Kremer, Algorithmique et Programmation 2, 10 HETD, L1, Université de Lorraine, France

  • Diplôme inter universitaire : Marie Duflot-Kremer, formation d'enseignants du secondaire à la spécialité NSI, 43 HETD, Université de Lorraine, France

  • Licence : Marie Duflot-Kremer, Introduction au Web, 20 HETD, L1, Université de Lorraine, France

  • Licence : Marie Duflot-Kremer, Accompagnement Algorithmique 1, 26 HETD, L1, Université de Lorraine, France

  • Licence : Marie Duflot-Kremer, Programmation Web, 5 HETD, L3, Université de Lorraine, France

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

  • Master: Marie Duflot-Kremer and Stephan Merz, Algorithmes distribués, 24 HETD M1 informatique, Université de Lorraine, France.

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

  • Master: Pascal Fontaine is the head of the MIAGE degree at Université de Lorraine.

  • Licence : Sorin Stratulat, Algorithmique des structures de contrôle, 45 HETD, L1 Informatique, ISFATES, Université de Lorraine, France.

  • Licence : Sorin Stratulat, Algorithmique des structures de données, 45 HETD, L1 Informatique, ISFATES, Université de Lorraine, France.

  • Master: Sorin Stratulat, Analyse et conception de logiciels, 105.5 HETD, M1 Informatique, Université de Lorraine, France.

  • Master: Sorin Stratulat, Génie Logiciel, 20 HETD, M2 Informatique, Université de Lorraine, France.

  • Master: Sophie Tourret, Concrete Semantics with Isabelle/HOL, 6 ECTS, Saarland University, Germany.

  • Master: Uwe Waldmann, Automated Reasoning, 9 ECTS, Saarland University, Germany.

  • Master: Christoph Weidenbach, Decision Procedures, 6 ECTS, Saarland University, Germany.

Supervision

  • PhD: Martin Bromberger, Decision Procedures for Linear Arithmetic. Saarland University, 10 December 2019. Supervised by Thomas Sturm and Christoph Weidenbach.

  • PhD: Nicolas Schnepf, Orchestration et vérification de fonctions de sécurité pour des environnements intelligents. Université de Lorraine, 30 September 2019. Supervised by Rémi Badonnel, Abdelkader Lahmadi, and Stephan Merz.

  • PhD: Marco Voigt, Decidable Fragments of First-Order Logic and of First-Order Linear Arithmetic with Uninterpreted Predicates. Saarland University, 31 July 2019. Supervised by Thomas Sturm and Christoph Weidenbach.

  • PhD in progress: Antoine Defourné, SMT for TLAPS, Université de Lorraine. Supervised by Jasmin Blanchette, Pascal Fontaine, and Stephan Merz, since March 2019.

  • 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: Alberto Fiori, Clause Learning from Simple Models, Saarland University. Supervised by Christoph Weidenbach, since August 2018.

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

  • PhD in progress: Alexis Grall, Integration of a modeling language and a language for programming distributed systems, Université de Lorraine. Supervised by Horatiu Cirstea and Dominique Méry, since October 2018.

  • 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: Pierre Lermusiaux, Analysis of properties of interactive critical systems, Université de Lorraine. Supervised by Horatiu Cirstea and Pierre-Etienne Moreau, since October 2017.

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

Thesis Committees

  • Pascal Fontaine served as a reviewer in the thesis committees for Martin Bromberger (Universität des Saarlandes, Germany), Albin Coquereau (Université Paris-Saclay, France), Hakan Metin (Sorbonne Université, France), Simon Robillard (Chalmers University of Technology, Sweden) and Stefano Varotti (University of Trento, Italy).

  • Stephan Merz served as an examiner in the PhD committee of The Anh Pham (ENS Rennes) and as the president in the PhD committee of Renaud Vilmart (Univ. of Lorraine). He was a member of the PhD committee of Nicolas Schnepf as the thesis advisor.

  • Thomas Sturm served as a reviewer in the thesis committees for Martin Bromberger and Marco Voigt (Saarland University, Germany).

  • Christoph Weidenbach served as a reviewer in the thesis committees for Martin Bromberger and Marco Voigt (Saarland University, Germany).