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 PPS, 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