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
- Igor Konnov. Researcher, Inria (on leave at Interchain)
- Engel Lefaucheux. 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
- Sophie Tourret. Researcher, Inria (and visiting researcher, Max-Planck-Institut für Informatik)
- Uwe Waldmann. Senior researcher, Max-Planck-Institut für Informatik
Non-permanent members
- Thomas Bagrel. PhD student, Université de Lorraine
- Martin Bromberger. Post-doctoral researcher, Max-Planck-Institut für Informatik
- Alessio Coltellacci. PhD student, Université de Lorraine
- Rosalie (Antoine) Defourné. PhD student, Université de Lorraine
- Martin Desharnais. PhD student, Max-Planck-Institut für Informatik
- Fajar Haifani. PhD student, Max-Planck-Institut für Informatik
- Hendrik Leidinger. PhD student, Max-Planck-Institut für Informatik
- Lorenz Leutgeb. PhD student, Max-Planck-Institut für Informatik
- Dylan Marinho. PhD student, Université de Lorraine
- Sybille Möhle. Post-doctoral researcher, Max-Planck-Institut für Informatik
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
- Pascal Fontaine. Montefiore Institute of Electrical Engineering and Computer Science, Université de Liège. Associate Professor at Université de Lorraine, 2006 – 2019.
Former members
- Sabina Akhtar. PhD in May 2012, University of Lorraine
- Étienne André, full professor at Université de Lorraine, October 2019 – August 2022, now at Université Sorbonne Paris Nord
- Johan Arcile. Post-doctoral researcher, Université de Lorraine. October 2020 – August 2022.
- 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
- Simon Cruanes. Research engineer, INRIA. October 2015 – October 2017
- 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)
- Yann Duplouy. Post-doctoral researcher, Inria (2019-20)
- Margaux Duroeulx. PhD student, University of Lorraine (10/2016-03/2020)
- Daniel El Ouraoui. PhD in January 2021, Université de Lorraine
- Arnaud Fietzke. PhD in June 2014, Max-Planck-Institut für Informatik
- Mathias Fleury. PhD in January 2020, Max-Planck-Institut für Informatik
- Alexis Grall. PhD student, University of Lorraine
- 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
- Pierre Lermusiaux. PhD student, PhD in September 2022, Université de Lorraine.
- Tianxiang Lu. PhD in November 2013, Saarland University and University of Lorraine
- Mathieu Montin. Post-doctoral researcher 2020-2021, Université de Lorraine
- Hamid Rahkooy. Post-doctoral researcher, CNRS (05/2019-08/2020)
- Martin Riener. Research engineer, INRIA. January 2015 – Dezember 2017
- Cristián Rosa. PhD in October 2011, University Nancy 1 (joint with AlGorille team), January 2009 – October 2011
- Nicolas Schnepf. PhD in September 2019, University of Lorraine
- Hans-Jörg Schurr. PhD in October 2022, Université de Lorraine
- Hernán Vanzetto. PhD in December 2014, University of Lorraine and Inria
- Marco Voigt. Post-doctoral researcher, Max-Planck-Institut für Informatik
- 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
