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
Lambda-calculus
permutation equivalence
redex families, finite developments
safe and optimal reductions
free interpretation by Böhm trees
inside-out completeness
continuity and stability of Böhm trees
Term Rewriting Systems
orthogonal systems
permutation equivalence
call-by-need strategies
strong sequentiality
call-by-need evaluations
recursive path orderings
Concurrency, Mobility
join-calculus
distributed implementations
Jocaml
Programming languages
debugging of the Ariane 5 onboard software
review of the Columbus ISS module software
programming rules for ESA
Program proofs
sorting algorithms
graph traversals
strongly connected components
biconnected components
Miscellaneous
Esope time-sharing project
Raster-op package for Colorix
Event driver for Unix on SM90
Luciole layout editor for VLSI
Affiliations
Inria projects Picube [2022] , Pi.r2 [2021-2014] , Moscova [2011 - 2000] , Para [1999 - 1988] .
Managing the Microsoft Research-Inria Joint Centre [2006 - 2012].
Teaching at École polytechnique and MPRI [1990 - 2006].

Bio [PDF] 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-Cité
Case 7014
75205 PARIS Cedex 13