Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

VeriDis is a joint research group of CNRS, Inria, Max-Planck-Institut für Informatik, and Université de Lorraine. It consists of members of the Mosel team at LORIA, Nancy, France, and members of the Automation of Logic group at Max-Planck-Institut für Informatik in Saarbrücken, Germany.

Creation of the Team: 2010 January 01, updated into Project-Team: 2012 July 01

Section: Members

Research Scientists

Stephan Merz [Team leader, Inria, Senior Researcher, HdR]
Thomas Sturm [Max-Planck-Institut für Informatik, Saarbrücken, Senior Researcher, HdR]
Uwe Waldmann [Max-Planck-Institut für Informatik, Saarbrücken, Senior Researcher]
Christoph Weidenbach [Team leader, Max-Planck-Institut für Informatik, Saarbrücken, Senior Researcher, HdR]

Faculty Members

Marie Duflot-Kremer [Univ. de Lorraine, Associate Professor]
Pascal Fontaine [Univ. de Lorraine, Associate Professor]
Dominique Méry [Univ. de Lorraine, Professor, HdR]


Pablo Dobal [Inria]

PhD Students

Manamiary Andriamiarina [Univ. de Lorraine, since Oct 2010]
Noran Azmy [Univ. des Saarlandes, since Sep 2013]
Haniel Barbosa [Inria, CORDI-S, from Dec 2013]
Henri Debrat [Univ. de Lorraine, until Dec 2013]
Marek Košta [Univ. des Saarlandes, since Nov 2011]
Tianxiang Lu [Univ. des Saarlandes, until Oct 2013]
Hernán Vanzetto [Inria, CORDI-C, granted by Microsoft Research, since Nov 2010]

Post-Doctoral Fellow

Jingshu Chen [Inria, granted by Fondation d'entreprise EADS, from Sep 2013]

Visiting Scientists

Luciana Benotti [Univ. Nacional de Córdoba, Argentina, 08/2013]
Rodrigo Castaño [Univ. de Buenos Aires, Argentina, 10–12/2013]
David Déharbe [Associate Professor, on sabbatical from Univ. Federal do Rio Grande de Norte, Brazil, 08/2013–07/2014]
Raúl Fervari [Univ. Nacional de Córdoba, Argentina, 03/2013]
Guillaume Hoffmann [Univ. Nacional de Córdoba, Argentina, 06–10/2013]
Josef Widder [TU Wien, Austria, 10–11/2013]

Administrative Assistant

Sophie Drouot [Inria]


Bhargav Bhatt [Inria, student intern, 05–07/2013]
Anisia Maria Magdalena Tudorescu [Inria, student intern, 03–05/2013]
Paula Chocrón [Inria, student intern, 10–12/2013, joint with Cassis team]