Home » user account

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


5 years 41 weeks