Previous | 
Home
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 01Section: 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]