Section: Members

Research Scientists

Karthikeyan Bhargavan [Team leader, Inria, HdR]
Bruno Blanchet [Inria, Senior Researcher, HdR]
Catalin Hritcu [Inria, Researcher]
Graham Steel [Inria, Researcher, HdR]

Engineers

Gergely Bana [Inria, Post-Doctoral Researcher, granted by FP7 PROSECO- ERC CRYSP project]
Romain Bardou [Inria, until Aug 2014, granted by OSEO]
Benjamin Smyth [Inria, Post-Doctoral Researcher, until Oct 2014, granted by FP7 PROSECO- ERC CRYSP project]
Santiago Zanella-Béguelin [Inria, MSR-Inria Post-Doctoral Researcher]

Post-Doctoral Fellow

Elizabeth Quaglia [Inria, Post-Doctoral Researcher, until Oct 2014]

Administrative Assistant

Anna Bednarik [Inria]

Others

Arthur Azevedo de Amorim [Inria, Summer Intern, from Mar 2014 until Aug 2014]
Kelsey Cairns [Inria, Summer Intern, from Mar 2014 until May 2014]
Nikolaos Giannarakis [Inria, Summer Intern, from Apr 2014 until Sep 2014]
Shubham Jindal [Inria, Summer Intern, from May 2014 until Jul 2014]
Zoi Paraskevopoulou [Inria, Summer Intern, from Apr 2014 until Sep 2014]
Susan Thomson [Inria, Summer Intern, from Jun 2014 until Aug 2014]
Evmorfia-Iro Bartzia [Inria, PhD Student, until Oct 2014]
Benjamin Beurdouche [Ecole Centrale de Paris, Summer Intern]
Antoine Delignat-Lavaud [Inria, PhD Student]
Chantal Keller [Inria, MSR-Inria Post-Doctoral Researcher]
Robert Künnemann [Inria, PhD Student, until Jan 2014]
Miriam Paiola [Inria, PhD Studenr, until May 2014]
Alfredo Pironti [Inria, Starting Research Position, until Dec 2014]
Jean-Karim Zinzindohoué [Min. Ecologie, PhD Student]