Jean-Jacques Lévy

Directeur de recherche émérite, Inria.
Lambda Calculus, Term Rewriting Systems,
Concurrency, Mobility,
Programming languages.

Operating Systems, Interactive Graphics, CAD.
Inria projects Moscova [2000 - 2011], Para [1988 - 1999].
Managing the MSR-Inria Joint Centre [2006 - 2012].
Teaching at École polytechnique and MPRI [1990 - 2006].

Bio, Publications, Courses, Talks, PhDs & Staff, Pointers, Swimming.
@
Jean-Jacques.Levy inria.fr
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
Inria, Centre de Paris-Rocquencourt
bâtiment 8,
B.P. 105, 78153 Le Chesnay, France.
Phone: + 33 1 39 63 56 89 (55 70)
Fax: + 33 1 39 63 54 69

PGP public key