Jean-Jacques Lévy 乐俊杰 Directeur de recherche émérite, Inria

---

Lambda Calculus, Term Rewriting Systems,
Concurrency, Mobility,
Programming languages,
Program proofs.

Operating Systems, Interactive Graphics, CAD.

---

Inria projects Pi.r2 [2014], Moscova [2000 - 2011], Para [1988 - 1999].
Managing the MSR-Inria Joint Centre [2006 - 2012].
Teaching at École polytechnique and MPRI [1990 - 2006].

Bio, Publications, Teaching, Talks, PhDs & Staff, Pointers, Swimming.

---

@ Jean-Jacques.Levy inria.fr

PGP public key

Laboratoire IRIF, bureau 3009 bâtiment Sophie Germain, 8 place FM/13* Université Paris-Diderot - Paris 7 Case 7014 75205 PARIS Cedex 13 Phone: + 33 1 57 27 92 68 (92 74)

Centre de Recherche Commun Inria-Microsoft Research Campus de l'École polytechnique, bâtiment Alan Turing, 1, rue Honoré d'Estienne d'Orves, 91120 Palaiseau, France. Phone: + 33 1 69 35 69 61 (69 70) Fax: + 33 1 69 35 69 69