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, 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]
Engineer
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]Others
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]