Team members
Scientific leaders
Permanent members
- Étienne André. Full professor, University of Lorraine
- 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 (on leave at Interchain)
- 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
- Alexis Grall. PhD student, University of Lorraine
- Pierre Lermusiaux. PhD student, University of Lorraine
- Daniel El Ouraoui. PhD student, University of Lorraine
- Hamid Rahkooy. Post-doctoral researcher, CNRS.
- 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
- Mathias Fleury. PhD in January 2020, 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
- Hernán Vanzetto. PhD in December 2014, University of Lorraine and Inria
- 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