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/
Search Encyclopedia
|
Featured Article
|