Jean-Jacques Lévy's PhD students and Colleagues
[back]
PhD Students
- Sébastien Ailleret, Renault
- Jade Alglave, Researcher, Microsoft Research Cambridge (co-supervised with Maranget)
- Tomasz Blanc, France Telecom
- Sylvain Conchon, Professor, Paris 11 (Orsay)
- Pierre-Malo Deniélou, Google, Mountain View (co-supervised with Leifer)
- Damien Doligez, Researcher Inria, Rocquencourt
- Francis Dupont, Telecom Bretagne
- Fabrice le Fessant, Researcher Inria, Rocquencourt
- Cédric Fournet, Principal Researcher, Microsoft Research Cambridge
- Oliver Guillaumin, co-founder of Netgem
- Nataliya Guts, retired from Post-doc, Maryland (co-supervised with Zappa Nardelli)
- Jean Krivine, Researcher CNRS, Paris 7
- Luc Maranget, Researcher Inria, Rocquencourt
- Paul-André Melliès, Researcher CNRS, Paris 7
- Gilles Peskine, Trusted Logic (co-supervised with Leifer)
- Jérémy Planul, Post-doc, Stanford (co-supervised with Fournet)
- Marc Pouzet, Professor, Ecole Normale Supérieure, Paris
- Ma Qin, Assistant Professor, Univ. of Luxembourg (co-supervised with Maranget)
- Alan Schmitt, Researcher Inria, Rennes
more remotely:
- Zena Ariola [Harvard], Professor, Eugene Oregon (with Arvind, MIT)
- Chen Ran [Iscas], Huawei, Beijing (with Zhang Wenhui, Iscas)
- Cosimo Laneve [Pisa], Professor, Bologna Italy (with Montanari, Pisa)
Colleagues at Inria Para/Moscova research-teams
- Andrea Asperti, Professor, Bologna Italy
- Karthikeyan Bhargavan, Senior Researcher Inria, Rocquencourt (Prosecco)
- Bruno Blanchet, Senior Researcher Inria, Rocquencourt (Prosecco)
- Alain Deutsch, Researcher Inria, co-founder of Polyspace
- Damien Doligez, Researcher Inria, Rocquencourt (Gallium)
- Robert Ehrlich, retired from Researcher Inria, Rocquencourt
- Georges Gonthier, Principal Researcher, Microsoft Research Cambridge
- Thérèse Hardin, retired from Professor Paris 6
- James Leifer, Researcher Inria, Rocquencourt (Sisyphe)
- Luc Maranget, Researcher Inria, Rocquencourt (Gallium)
- Ingmar Vuong-Adlerberg, CTO of Riskdata
- Andrzej Wozniak, Genome Quest Inc
- Francesco Zappa Nardelli, Facebook Research
- Stéphanie Aubin, Josy Baron, Sylvie Loubressac, assistants.
for long visits:
- Andrew Appel, Professor, Princeton
- Zena Ariola, Professor, Eugene Oregon
- Zurab Khasidashvili, Intel, Haifa
- Cosimo Laneve, Professor, Bologna
- Louis Mandel, Researcher, IBM Yorktown Heights
- Uwe Nestmann, Professor, TU Berlin
- Bruno Pagano, Esterel Technologies
- Davide Sangiorgi, Professor, Bologna
Colleagues at MSR-Inria Joint Centre
Colleagues at Ecole polytechnique