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

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

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

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

  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.
Allikas: https://en.wikipedia.org/wiki/Andrew_D._Gordon
No tags for this post.