Luca Cardelli Principal Researcher, Microsoft Research Cambridge Microsoft Corporation Luca Cardelli is a Principal Researcher at Microsoft Research Cambridge. He works with the Programming Principles and Tools Group and his main interests are in type theory and operational semantics, mostly for applications to language design, semantics, and implementation. research.microsoft