Current and former VeriDis members
Scientific leaders
Stephan Merz senior researcher INRIA Christoph Weidenbach research leader Max-Planck-Institut für Informatik, adjunct professor Saarland University
Other permanent members
Marie Duflot associate professor University of Lorraine Pascal Fontaine associate professor University of Lorraine Dominique Méry full professor University of Lorraine Thomas Sturm senior researcher Max-Planck-Institut für Informatik Uwe Waldmann senior researcher Max-Planck-Institut für Informatik
Associate member
David Déharbe associate professor UFRN, Brazil
Non-permanent members
Noran Azmy PhD student Max-Planck-Institut für Informatik (since 11/2012) Haniel Barbosa PhD student University of Lorraine and INRIA (since 12/2013) Jasmin Christian Blanchette Inria Starting Researcher INRIA (since 01/2015) Martin Bromberger PhD student Max-Planck-Institut für Informatik (since 07/2014) Federico Dobal PhD student University of Lorraine (since 09/2014) formerly contractual engineer (INRIA 10/2012-08/2014) Maximilian Jaroschek post-doctoral researcher Max-Planck-Institut für Informatik (since 09/2014) Marek Košta PhD student Max-Planck-Institut für Informatik (since 11/2011) Marco Voigt PhD student Max-Planck-Institut für Informatik (since 11/2013) Daniel Wand PhD student Max-Planck-Institut für Informatik (since 02/2011)
Former members
Sabina Akhtar PhD in May 2012 University of Lorraine Thomas Bouton contractual engineer INRIA September 2007 - August 2010 Diego Caminha Barbosa de Oliveira PhD in March 2011 University Nancy 2 Jingshu Chen post-doctoral researcher INRIA September 2013 - December 2014 Henri Debrat PhD in December 2013 University of Lorraine Arnaud Fietzke PhD in June 2014 Max-Planck-Institut für Informatik Thomas Hillenbrand post-doctoral researcher Max-Planck-Institut für Informatik 2009 - 2012 Eun-Young Kang PhD in December 2007 University Nancy 1 Tianxiang Lu PhD in November 2013 Saarland University and University of Lorraine Cristián Rosa PhD in October 2011 University Nancy 1 (joint with AlGorille team) January 2009 - October 2011 Patrick Wischnewski PhD in November 2012 Max-Planck-Institut für Informatik Bruno Woltzenlogel Paleo post-doctoral researcher INRIA December 2009 - March 2011