Jean-Jacques Lévy's PhD students and Colleagues [back]
PhD Students
- Sébastien Ailleret, Renault
- Jade Alglave, Lecturer at UCL, London (co-supervised with Maranget)
- Tomasz Blanc, France Telecom
- Sylvain Conchon, Assistant Professor, Paris 11 (Orsay)
- Pierre-Malo Deniélou, Lecturer Royal Holloway, London (co-supervised with Leifer)
- Damien Doligez, Researcher INRIA, Rocquencourt
- Francis Dupont, Telecom Bretagne
- Fabrice le Fessant, Researcher INRIA
- Cédric Fournet, Principal Researcher, Microsoft Research Cambridge
- Oliver Guillaumin, co-founder of Netgem
- Nataliya Guts, 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)
- Cosimo Laneve [Pisa], Professor, Bologna Italy (with Montanari, Pisa)
Colleagues at INRIA Para/Moscova research-teams
- Andrea Asperti, now Professor, Bologna Italy
- Karthikeyan Bhargavan, Researcher INRIA (Prosecco)
- Bruno Blanchet, Senior Researcher INRIA (Prosecco)
- Alain Deutsch, Researcher INRIA, co-founder of Polyspace
- Damien Doligez, Researcher INRIA (Gallium)
- Robert Ehrlich, retired from Researcher INRIA
- Georges Gonthier, now Principal Researcher, Microsoft Research Cambridge
- Thérèse Hardin, retired from Professor Paris 6
- James Leifer, Researcher INRIA
- Luc Maranget, Researcher INRIA (Gallium)
- Ingmar Vuong-Adlerberg, now CTO of Riskdata
- Andrzej Wozniak, now Genome Quest Inc
- Francesco Zappa Nardelli, Researcher INRIA (Parkas)
- Stéphanie Aubin, Josy Baron, Sylvie Loubressac, assistants.
for long visits:
- Andrew Appel, Professor, Princeton
- Zena Ariola, Professor, Eugene Oregon
- Cosimo Laneve, Professor, Bologna
- Louis Mandel, Assistant Professor, Paris 11 (Orsay)
- Uwe Nestmann, Professor, TU Berlin
- Bruno Pagano, Esterel Technologies
- Davide Sangiorgi, Professor, Bologna
Colleagues at MSR-INRIA Joint Centre
Colleagues at Ecole polytechnique