Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
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, Senior Researcher, HdR]
Uwe Waldmann [Max-Planck Institut für Informatik, Researcher]
Christoph Weidenbach [Team leader, Max-Planck Institut für Informatik, 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]

PhD Students

Manamiary Andriamiarina [Univ. de Lorraine, since Oct 2010]
Noran Azmy [Univ. des Saarlandes, since Nov 2012]
Haniel Barbosa [Inria, since Dec 2013]
Martin Bromberger [Univ. des Saarlandes, since Jul 2014]
Pablo Federico Dobal [Univ. de Lorraine, since Sep 2014 (Inria engineer until Aug 2014)]
Arnaud Fietzke [Univ. des Saarlandes, until Jun 2014]
Marek Košta [Univ. des Saarlandes, since Nov 2011]
Manuel Lamotte Schubert [Univ. des Saarlandes, since Jul 2010]
Hernán Pablo Vanzetto [Inria, until Mar 2014, Max-Planck Institut für Informatik, from May 2014]
Marco Voigt [Univ. des Saarlandes, since Nov 2013]
Daniel Wand [Univ. des Saarlandes, since Feb 2011]

Post-Doctoral Fellows

Maximilian Jaroschek [Max-Planck Institut für Informatik, granted by DFG]
Jingshu Chen [Inria, granted by Airbus Foundation and Conseil Régional de Lorraine]

Visiting Scientists

Carlos Areces [Univ. Nacional de Córdoba, Argentina, Jul 2014]
Luciana Benotti [Univ. Nacional de Córdoba, Argentina, Jul 2014]
Richard Bonichon [Univ. Federal do Rio Grande do Norte, Brazil, Sep 2014]
David Déharbe [Univ. Federal do Rio Grande do Norte, Brazil, Jan – Jul 2014]
Raúl Fervari [Univ. Nacional de Córdoba, Argentina, Jul 2014]
Guillaume Hoffmann [Univ. Nacional de Córdoba, Argentina, Jul 2014]
Claudia Tavares [Univ. Federal do Rio Grande do Norte, Brazil, Sep 2014]

Administrative Assistants

Sophie Drouot [Inria]
Delphine Hubert [Univ. de Lorraine]
Martine Kuhlmann [CNRS]
Jennifer Müller [Max-Planck Institut für Informatik]