Andrew D. Gordon

1997 - Now - Senior Researcher in Programming Principles and Tools for Microsoft.

Pre 1997 - Research Fellow at the University of Cambridge Computer Laboratory.

Co-designer of Spi Calculus (with M. Abadi), Ambient calculus (Luca Cardelli), and other various programming languages.

Personal Web site: http://research.microsoft.com/~adg/