EN FR
EN FR


previous Previous | up Home | Next next


Section: Dissemination

Teaching, Supervision, PhD Committees

Teaching

  • Licence: Marie Duflot-Kremer is the head of the first year for computer science students at the Faculty for Science and Technology of Université de Lorraine.

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

  • Licence: Marie Duflot-Kremer, Introduction au Web, 30 HETD L1 Mathématiques, Informatiques, Sciences pour l'Ingénieur, Université de Lorraine, France.

  • Licence: Marie Duflot-Kremer, Méthodologie du Travail Universitaire, 24 HETD, L1 Informatique, 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, Programmation Web, 10 HETD, L3 Informatique, Université de Lorraine, France.

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

  • Licence: Sorin Stratulat, Bases de données, 32 HETD, L1, ISFATES, France.

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

  • Master: Marie Duflot-Kremer, Vérification de systèmes, 30 HETD, M1 Informatique, 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, Conception et architectures distribuées, 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.

  • 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: Sorin Stratulat, Analyse et conception de logiciels, 105.5 HETD, M1 Informatique, Université de Lorraine, France.

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

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

  • Master: Sophie Tourret and Uwe Waldmann, Automated Reasoning II, 60 HETD, Universität des Saarlandes, Germany.

Supervision

  • HdR: Pascal Fontaine, Satisfiability Modulo Theories, Université de Lorraine, 8 October 2018.

  • PhD: Souad Kherroubi, Un cadre formel pour l'intégration de connaissances du domaine dans la conception des systèmes: Application au formalisme Event-B, Université de Lorraine, 21 December 2018. Supervised by Dominique Méry.

  • PhD: Andreas Teucke, An Approximation and Refinement Approach to First-Order Automated Reasoning, Saarland University. Supervised by Christoph Weidenbach, defended in May 2018.

  • PhD in progress: Martin Bromberger, Arithmetic Reasoning, Saarland University. Supervised by Thomas Sturm and 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: 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: 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 Thomas Sturm and Christoph Weidenbach, since November 2013.

  • Jasmin Blanchette supervises two PhD students at VU Amsterdam and was a supervisor of Anders Schlichtkrull at TU Denmark, who defended in 2018. Igor Konnov co-supervises three PhD students at TU Wien. These PhD students are not members of VeriDis.

Thesis committees

  • Pascal Fontaine served as a reviewer in the thesis committees for Ahmed Irfan at Fondazione Bruno Kessler and University of Trento, Italy, for Vu Xuan Tung at JAIST, Japan, and for Mêton Mêton Atindehou at Université Catholique de Louvain (UCL), Belgium.

  • Stephan Merz served as a reviewer for the PhD theses of Bin Fang (Univ. Paris Diderot and East China Normal University) and Hai Nguyen Van (Univ. Paris Saclay). He was an examiner for the PhD committees of Evgeny Kotelnikov (Chalmers Univ.) and for the habilitation thesis of Nikolai Kosmatov (CEA Saclay).

  • Thomas Sturm served as a reviewer in the thesis committee for Ulrich Loup at RWTH Aachen University, Germany.



previous Previous | up Home | Next next