Research Scientist

Jean-Jacques Lévy [ Team leader, Senior Researcher (DR) Inria ]
Luc Maranget [ Research Associate (CR) Inria ]
Karthikeyan Bhargavan [ Research Associate (CR), since 1/10/2009 ]
Ricardo Corin [ Research Associate (CR) Inria, until 1/3/2009 ]
James Leifer [ Research Associate (CR) Inria ]
Francesco Zappa Nardelli [ Research Associate (CR) Inria ]

PhD Student

Jade Alglave [ MESR grant, Paris 7 ]
Pierre-Malo Deniélou [ AMN, Paris 7, until 1/10/2009 ]
Nataliya Guts [ INRIA-MSR grant, Paris 7 ]
Jérémy Planul [ ENS-Lyon, Ecole Polytechnique ]

Post-Doctoral Fellow

Giulio Manzonetto [ Post-Doctoral Fellow, until 30/11/2009 ]

Administrative Assistant

Sylvie Loubressac [ Assistant (IE) Inria ]