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/
wikipedia.org dumped 2003-03-17 with terodump