Researchers

Jean-Jacques Lévy
Inria Paris - Rocquencourt
Presentation

I worked in Operating Systems (1969-72), Semantics of Programming Languages and Syntax of the lambda calculus (1972-78), Term Rewriting Systems (1978-1980), CAD for VLSI (1981-84), sm90 Unix kernel (1985-87), Parallel functional languages (1987-93), Distribution and mobility (1994-2000). I taught at Ecole Polytechnique (Palaiseau, France) and managed the new Microsoft Research-Inria Joint Centre in Saclay (2006-2012). I retired in 2012 and became Inria Emeritus. My present interest is towards the lambda-calculus and formal proofs of programs.

Contact:
rf.airni@yveL.seuqcaJ-naeJ
+ 33 1 39 63 56 89
+ 33 1 69 35 69 61
Publications at the Joint Centre: