Andrew D. Gordon
Encyclopedia
Andrew D. Gordon is a British
computer scientist.
Gordon is the co-designer of Spi Calculus (with Martin Abadi
), Ambient calculus
(Luca Cardelli
), and
various programming languages. Until 1997 he was a Research Fellow at the University of Cambridge Computer Laboratory
, after which he became Senior Researcher in Programming Principles and Tools for Microsoft
.
United Kingdom
The United Kingdom of Great Britain and Northern IrelandIn the United Kingdom and Dependencies, other languages have been officially recognised as legitimate autochthonous languages under the European Charter for Regional or Minority Languages...
computer scientist.
Gordon is the co-designer of Spi Calculus (with Martin Abadi
Martín Abadi
Martín Abadi is an argentinian computer scientist, currently working at the University of California, Santa Cruz and Microsoft Research. He earned his Ph.D...
), Ambient calculus
Ambient calculus
In computer science, the ambient calculus is a process calculus devised by Luca Cardelli and Andrew D. Gordon in 1998, and used to describe and theorise about concurrent systems that include mobility...
(Luca Cardelli
Luca Cardelli
Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well-known for his research in type theory and operational semantics. Among other contributions he implemented the first compiler for the functional programming...
), and
various programming languages. Until 1997 he was a Research Fellow at the University of Cambridge Computer Laboratory
University of Cambridge Computer Laboratory
The Computer Laboratory is the computer science department of the University of Cambridge. As of 2007, it employs 35 academic staff, 25 support staff, 35 affiliated research staff, and about 155 research students...
, after which he became Senior Researcher in Programming Principles and Tools for Microsoft
Microsoft
Microsoft Corporation is an American public multinational corporation headquartered in Redmond, Washington, USA that develops, manufactures, licenses, and supports a wide range of products and services predominantly related to computing through its various product divisions...
.