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.