Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Creation of the Team: 2010 January 01, updated into Project-Team: 2012 July 01
VeriDis is located both at the Inria research center in Nancy and at the Max-Planck Institute for Informatics in Saarbrücken, Germany.

Section: Team, Visitors, External Collaborators

Research Scientists

Stephan Merz [Team leader, Inria, Senior Researcher, HDR]
Igor Konnov [Inria, Researcher, from March 2018]
Thomas Sturm [CNRS, Senior Researcher, HDR]
Uwe Waldmann [Max-Planck Institut für Informatik, Senior 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, Inria secondment]
Dominique Méry [Univ. de Lorraine, Professor]
Sorin Stratulat [Univ. de Lorraine, Associate Professor, Inria secondment from September 2018]

Post-Doctoral Fellows

Yann Duplouy [Inria, from December 2018]
Sophie Tourret [Max-Planck Institut für Informatik]

PhD Students

Martin Bromberger [Univ. des Saarlandes]
Margaux Duroeulx [Univ. de Lorraine]
Daniel El Ouraoui [Inria]
Alberto Fiori [Univ. des Saarlandes, from September 2018]
Mathias Fleury [Univ. des Saarlandes]
Alexis Grall [Univ. de Lorraine, from October 2018]
Souad Kherroubi [Univ. de Lorraine]
Pierre Lermusiaux [Univ. de Lorraine]
Nicolas Schnepf [Inria, shared with Resist team]
Hans-Jörg Schurr [Inria]
Andreas Teucke [Univ. des Saarlandes, until May 2018]
Marco Voigt [Univ. des Saarlandes]

Technical staff

Stéphane Glondu [Inria, seconded from SED Inria Nancy for one person-month]


Alexis Grall [Univ. de Lorraine, from March until August 2018]
Axel Palaude [Inria, from May until July 2018]

Administrative Assistants

Anne Chretien [Univ. de Lorraine, from April until September 2018]
Sophie Drouot [Inria]
Sylvie Hilbert [CNRS, from July 2018]
Jennifer Müller [Max-Planck Institut für Informatik]

Visiting Scientist

Cezary Kaliszyk [Univ. de Lorraine, from May until June 2018]

External Collaborator

Jasmin Christian Blanchette [Vrije Universiteit Amsterdam]