Beginning of the Team: 01/01/2000
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]