Team members

Scientific leaders

• Stephan Merz. Senior researcher, INRIA
• Christoph Weidenbach. Research leader, Max-Planck-Institut für Informatik, adjunct professor Saarland University

Permanent members

• Horatiu Cirstea. Full professor, University of Lorraine
• Marie Duflot. Associate professor, University of Lorraine
• Pascal Fontaine. Associate professor, University of Lorraine
• Igor Konnov. Researcher, INRIA
• Serguei Lenglet. Associate professor, University of Lorraine
• Dominique Méry. Full professor, University of Lorraine
• Pierre-Etienne Moreau. Full professor, University of Lorraine
• Sorin Stratulat. Associate professor, University of Lorraine
• Thomas Sturm. Senior researcher, CNRS and Max-Planck-Institut für Informatik
• Uwe Waldmann. Senior researcher, Max-Planck-Institut für Informatik

Non-permanent members

• Martin Bromberger. PhD student, Max-Planck-Institut für Informatik (since 07/2014)
• Yann Duplouy. Post-doctoral researcher, Inria
• Margaux Duroeulx. PhD student, University of Lorraine
• Mathias Fleury. PhD student, Max-Planck-Institut für Informatik (since 09/2015)
• Alexis Grall. PhD student, University of Lorraine
• Pierre Lermusiaux. PhD student, University of Lorraine
• Daniel El Ouraoui. PhD student, University of Lorraine
• Nicolas Schnepf. PhD student, University of Lorraine
• Hans-Jörg Schurr. PhD student, University of Lorraine
• Sophie Tourret. Post-doctoral researcher, Max-Planck-Institut für Informatik
• Marco Voigt. PhD student, Max-Planck-Institut für Informatik (since 11/2013)

Associated members

• Jasmin Christian Blanchette. Assistant professor, VU Amsterdam. Guest researcher at Inria Nancy and Max-Planck-Institut für Informatik. Inria Starting Researcher, January 2015 – April 2017

Former members

• Sabina Akhtar. PhD in May 2012, University of Lorraine
• Noran Azmy. PhD in November 2016, Max-Planck-Institut für Informatik
• Haniel Barbosa. PhD in September 2017, University of Lorraine and INRIA
• Diego Caminha Barbosa de Oliveira. PhD in March 2011, University Nancy 2
• Thomas Bouton. Contractual engineer, INRIA. September 2007 – August 2010
• Jingshu Chen. Post-doctoral researcher, INRIA. September 2013 – December 2014
• Henri Debrat. PhD in December 2013, University of Lorraine
• David Déharbe. ClearSy, Aix en Provence
• Federico Dobal. PhD student, University of Lorraine (09/2014-12/2015), formerly contractual engineer (INRIA 10/2012-08/2014)
• 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
• Maximilian Jaroschek. Post-doctoral researcher, Max-Planck-Institut für Informatik (07/2014 – 12/2015)
• Eun-Young Kang. PhD in December 2007, University Nancy 1
• Marek Košta. PhD in December 2016, Max-Planck-Institut für Informatik
• 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
• Daniel Wand. PhD in August 2017, Max-Planck-Institut für Informatik
• Patrick Wischnewski. PhD in November 2012, Max-Planck-Institut für Informatik
• Bruno Woltzenlogel Paleo. Post-doctoral researcher, INRIA. December 2009 – March 2011