Previous | 
Home
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]Interns
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]