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/






