Biography:Andrew D. Gordon
Andrew D. Gordon | |
|---|---|
| Born | Great Britain |
| Education | Ph.D., University of Cambridge, 1992 |
| Known for | Concurrent Haskell Spi calculus ambient calculus SecPAL |
| Scientific career | |
| Fields | computer science |
| Institutions | Cogna Department of Computer Science and Technology, University of Cambridge University of Edinburgh Microsoft Research |
| Thesis | Functional programming and input/output (1992) |
| Website | www |
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
- ↑ "Precision software defined by you, delivered by AI". 2024. https://www.cogna.co/.
- ↑ 2.0 2.1 Gordon, Andy. "Andy Gordon". https://www.linkedin.com/in/andrew-d-gordon/.
- ↑ "Programming, Principles, and Tools Group". https://www.microsoft.com/en-us/research/.
- ↑ "Andy Gordon". University of Edinburgh. https://www.inf.ed.ac.uk/people/staff/Andrew_Gordon.html.
- ↑ 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. https://books.google.com/books?id=Q1lABK_C9X8C&pg=PA234.
- ↑ 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. https://books.google.com/books?id=gSH9zg5s3ygC&pg=PA1026.
- ↑ "Department of Computer Science and Technology – Awards and honours". University of Cambridge. 2012–2024. https://www.cl.cam.ac.uk/misc/honours/.
- ↑ "Most Influential POPL Paper Award". Association for Computing Machinery. 1993–2014. https://www.sigplan.org/Awards/POPL/.
External links
- Official website, Cogna
- Andrew D. Gordon publications indexed by Google Scholar
 |  |
