[go: up one dir, main page]
Jump to content

Andrew D. Gordon

Edit links
From Wikipedia, the free encyclopedia

Andrew D. Gordon
Born
Great Britain
EducationPh.D., University of Cambridge, 1992
Known forConcurrent Haskell
Spi calculus
ambient calculus
SecPAL
Scientific career
Fieldscomputer science
InstitutionsCogna
Department of Computer Science and Technology, University of Cambridge
University of Edinburgh
Microsoft Research
ThesisFunctional programming and input/output (1992)
Websitewww.cogna.co

Andrew D. Gordon is a British computer scientist employed by software synthesis company Cogna[1] as Chief Science Officer,[2] and by the University of Cambridge.[2] Formerly, he worked for Microsoft Research. His research interests include programming language design, formal methods, concurrency, cryptography, and access control.

Biography

[edit]

Gordon earned a Ph.D. from the University of Cambridge in 1992. Until 1997, Gordon was a Research Fellow at the University of Cambridge Computer Laboratory. He then joined the Microsoft Research laboratory in Cambridge, England, where he was a principal researcher in the Programming Principles and Tools group.[3] He also holds a professorship at the University of Edinburgh.[4]

Research

[edit]

Gordon is one of the designers of Concurrent Haskell, an extension to the functional programming language Haskell, which added explicit primitive data types for concurrency, and then became a library named Control.Concurrent as part of the Glasgow Haskell Compiler. He is the co-designer with Martin Abadi of Spi calculus, a π-calculus extension, for formalized reasoning about cryptographic systems.[5] He and Luca Cardelli invented the ambient calculus for reasoning about mobile code.[6] With Moritz Y. Becker and Cédric Fournet, Gordon also designed SecPAL, a Microsoft specification language for access control policies.

Awards and honours

[edit]

Gordon's Ph.D. thesis, Functional programming and input/output, won the 1993 Distinguished Dissertation Award of the British Computer Society.[7] His 2000 paper on the ambient calculus subject with Luca Cardelli, "Anytime, Anywhere: Modal Logics for Mobile Ambients", won the 2010 SIGPLAN Most Influential POPL Paper Award.[8]

References

[edit]
  1. ^ "Precision software defined by you, delivered by AI". Cogna, Ltd. London, England. 2024. Retrieved 1 December 2024.
  2. ^ a b Gordon, Andy. "Andy Gordon". LinkedIn. London, England. Retrieved 1 December 2024.
  3. ^ "Programming, Principles, and Tools Group". Microsoft Research. Retrieved 28 November 2024.
  4. ^ "Andy Gordon". School of Informatics. University of Edinburgh. Retrieved 1 December 2024.
  5. ^ 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.
  6. ^ 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.
  7. ^ "Department of Computer Science and Technology – Awards and honours". Department of Computer Science and Technology. University of Cambridge. 2012–2024. Retrieved 28 November 2024.
  8. ^ "Most Influential POPL Paper Award". ACM Special Interest Group on Programming Languages (SIGPLAN). Association for Computing Machinery. 1993–2014. Archived from the original on 2 August 2009. Retrieved 28 November 2024.
[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Andrew_D._Gordon&oldid=1261183198"