Andrew D. Gordon

Andrew D. Gordonis a Britishcomputer scientistpreviously employed byMicrosoft Research.His research interests includeprogramming languagedesign,formal methods,concurrency,cryptography,andaccess control.

Biography[edit]

Gordon earned a Ph.D. from theUniversity of Cambridgein 1992. Until 1997 Gordon was a Research Fellow at theUniversity of Cambridge Computer Laboratory.He then joined theMicrosoft Researchlaboratory in Cambridge, England, where he was a principal researcher in the Programming Principles and Tools group.^[1]He also holds a professorship at theUniversity of Edinburgh.^[2]

Research[edit]

Gordon is one of the designers ofConcurrent Haskell,afunctional programming languagewith explicit primitives forconcurrency.He is the co-designer withMartin Abadiofspi calculus,an extension of theπ-calculusfor formalized reasoning about cryptographic systems.^[3]He andLuca Cardelliinvented theambient calculusfor reasoning aboutmobile code.^[4]With Moritz Y. Becker and Cédric Fournet, Gordon also designedSecPAL,aMicrosoft specification languageforaccess controlpolicies.

Awards and honours[edit]

Gordon's Ph.D. thesis,Functional Programming and Input/Output,won the 1993 Distinguished Dissertation Award of theBritish Computer Society.^[5]His 2000 paper on the ambient calculus subject with Luca Cardelli, "Anytime, Anywhere: Modal Logics for Mobile Ambients", won the 2010SIGPLANMost Influential POPL Paper Award.^[6]

References[edit]

^Programming, Principles, and Tools group,Microsoft Research, accessed 2012-02-02.
^Faculty profile,Univ. of Edinburgh, retrieved 2012-02-02.
^Ryan, Peter; Schneider, Steve A. (2001), "9.10 Spi calculus",The modelling and analysis of security protocols: the CSP approach,Addison-Wesley Professional, pp. 234–235,ISBN 978-0-201-67471-2.
^Bergstra, J. A.; Ponse, Alban; Smolka, Scott A. (2001), "4.3.3. The ambient calculus",Handbook of process algebra,Elsevier, pp. 1026–1028,ISBN 978-0-444-82830-9.
^Awards, honours, prizes and competitions won,Cambridge Computer Laboratory, accessed 2012-02-02.
^SIGPLAN awards Archived2009-08-02 at theWayback Machine,retrieved 2012-02-01.

External links[edit]

Official website,Microsoft Research
Andrew D. Gordonpublications indexed byGoogle Scholar

[1] Programming, Principles, and Tools group,Microsoft Research, accessed 2012-02-02.

[2] Faculty profile,Univ. of Edinburgh, retrieved 2012-02-02.

[3] Ryan, Peter; Schneider, Steve A. (2001), "9.10 Spi calculus",The modelling and analysis of security protocols: the CSP approach,Addison-Wesley Professional, pp. 234–235,ISBN 978-0-201-67471-2.

[4] Bergstra, J. A.; Ponse, Alban; Smolka, Scott A. (2001), "4.3.3. The ambient calculus",Handbook of process algebra,Elsevier, pp. 1026–1028,ISBN 978-0-444-82830-9.

[5] Awards, honours, prizes and competitions won,Cambridge Computer Laboratory, accessed 2012-02-02.

[6] SIGPLAN awards Archived2009-08-02 at theWayback Machine,retrieved 2012-02-01.

[1]

[2]

[3]

[4]

[5]

[6]

Authority control databases
International	ISNI VIAF
National	Germany Israel United States Czech Republic
Academics	Association for Computing Machinery DBLP Google Scholar ORCID
Other	IdRef