Section: Members

Research Scientists

Jean-Jacques Lévy [Team leader, Senior Researcher (DR) Inria]

Luc Maranget [Research Associate (CR) Inria]

Karthikeyan Bhargavan [Research Associate (CR) Inria]

James Leifer [Research Associate (CR) Inria]

Francesco Zappa Nardelli [Research Associate (CR) Inria]

PhD Students

Nataliya Guts [INRIA-MSR grant, Paris 7, until 15/1/2011]

Jérémy Planul [ENS-Lyon, Ecole Polytechnique]

Post-Doctoral Fellow

Alfredo Pironti [Crysp]

Administrative Assistant

Stéphanie Aubin [Assistant (TR) Inria]