AndrewKennedy

Personal information


I am a Researcher in the Programming Principles and Tools group at Microsoft Research Cambridge.


Type systems and formal semantics for programming languages, optimizing compilation, functional programming.

History


11 years 29 weeks