EN FR
EN FR


Creation of the Team: 2010 January 01, updated into Project-Team: 2012 July 01

Section: Members

Research Scientists

Jasmin Christian Blanchette [Inria, Starting Research Position]

Stephan Merz [Team leader, Inria, Senior Researcher, HDR]

Thomas Sturm [CNRS, Senior Researcher]

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. Lorraine, Associate Professor]

Pascal Fontaine [Univ. Lorraine, Associate Professor]

Dominique Méry [Univ. Lorraine, Professor, HDR]

Martin Strecker [Univ. Toulouse III, Associate Professor, Inria secondment since Sep 2016]

Engineers

Gabriel Corona [Univ. Lorraine, until Aug 2016]

Simon Cruanes [Inria]

Matthieu Nicolas [Inria]

Martin Riener [Inria, MSR-Inria Joint Centre]

PhD Students

Gabor Alági [Univ. des Saarlandes, since Nov 2012]

Noran Azmy [Univ. des Saarlandes, until Aug 2016]

Haniel Barbosa [Univ. Lorraine, since Dec 2013]

Martin Bromberger [Univ. des Saarlandes, since Jul 2014]

Margaux Duroeulx [Univ. Lorraine, since Oct 2016]

Mathias Fleury [Univ. des Saarlandes, since Oct 2015]

Souad Kherroubi [Univ. Lorraine, since Jan 2015]

Marek Košta [Univ. des Saarlandes, until Oct 2016]

Nicolas Schnepf [Inria, since Oct 2016]

Marco Voigt [Univ. des Saarlandes, since Nov 2013]

Daniel Wand [Univ. des Saarlandes, since Feb 2011]

Administrative Assistants

Sophie Drouot [Inria]

Martine Kuhlmann [CNRS]

Jennifer Müller [Max-Planck Institut für Informatik]

Others

Ilina Stoilkovska [TU Wien, visitor, Sep–Oct 2016]

Tung Vu Xuan [JAIST, visitor, since May 2016]