Section: Members

Research Scientists

Claude Marché [Team Leader, Senior Researcher, HdR]

Sylvie Boldo [Team Vice-Leader, Junior Researcher]

Évelyne Contejean [Junior Researcher CNRS]

Jean-Christophe Filliâtre [Junior Researcher CNRS, HdR]

Guillaume Melquiond [Junior Researcher]

Arthur Charguéraud [Junior Researcher, since Oct.]

Faculty Members

Christine Paulin-Mohring [Professor Université Paris-Sud, HdR]

Sylvain Conchon [Associate Professor Université Paris-Sud, HdR]

Andrei Paskevich [Associate Professor Université Paris-Sud]

PhD Students

François Bobot [Université Paris-Sud, Until Aug.]

Claire Dross [CIFRE Adacore]

Stefania Dumbrava [Université Paris-Sud, Since Oct.]

Paolo Herms [CEA grant until Sep., then Inria grant]

Mohamed Iguernelala [Université Paris-Sud]

Alain Mebsout [Université Paris-Sud]

Catherine Lelay [Inria Digiteo grant]

Thi-Minh-Tuyen Nguyen [Inria Digiteo grant, until June]

Asma Tafat Bouzid [Université Paris-Sud]

Post-Doctoral Fellows

Denis Cousineau [Post-doc FUI Grant Hi-Lite, until Sep.]

Cody Roux [Post-doc ANR grant, until July]

Visiting Scientist

Pierre Courtieu [Associate Professor CNAM, since Oct.]

Administrative Assistant

Régine Bricquet [TR]

Others

Levs Gondelmans [E.N.S. Paris, Master 1 intern, March to Aug.]

Nicolas Lupinski [Université Paris-Sud, Master 2 intern, March to Aug.]

Remi El Sibaie [Université Paris-Sud, Licence 3 intern, April to Jul.]