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]