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