VeriDis is a joint research group between members of the Mosel team at LORIA, Nancy, France, and members of the Automation of Reasoning group at Max-Planck Institute for Informatics in Saarbrücken, Germany.

Creation of the Project-Team: July 01, 2012

Section: Members

Research Scientists

Stephan Merz [Team leader, Senior Researcher, HdR]

Uwe Waldmann [Max-Planck-Institute for Informatics, Saarbrücken]

Christoph Weidenbach [Team leader, Max-Planck-Institute for Informatics, Saarbrücken, HdR]

Faculty Members

Marie Duflot-Kremer [Associate Professor, Université de Lorraine, maternity leave 07-12/2012]

Pascal Fontaine [Associate Professor, on leave from Université de Lorraine since 09/2011]

Dominique Méry [Professor, Université de Lorraine, HdR]

External Collaborator

David Déharbe [Associate Professor, Universidade Federal do Rio Grande de Norte, Brazil]


Pablo Federico Dobal [since 09/2012]

PhD Students

Sabina Akhtar [Université de Lorraine, thesis defended on May 10, 2012]

Manamiary Andriamiarina [Université de Lorraine, since 10/2010]

Henri Debrat [Université de Lorraine, since 10/2009, joint supervision with Bernadette Charron-Bost]

Tianxiang Lu [Universität des Saarlandes and Université de Lorraine, since 05/2009]

Hernán-Pablo Vanzetto [Université de Lorraine, since 10/2010, joint supervision with Kaustuv Chaudhuri]

Arnaud Fietzke [Universität des Saarlandes]

Evgeny Kruglov [Universität des Saarlandes]

Daniel Wand [Universität des Saarlandes]

Post-Doctoral Fellow

Thomas Sturm [Max-Planck-Institute for Informatics, Saarbrücken]

Administrative Assistant

Sophie Drouot [shared with teams Bigs, Score, Tosca]


Rodrigo Castaño [Universidad de Buenos Aires, Argentina, student intern 09-12/2012]

Simon Halfon [ENS Cachan, student intern 06-08/2012]