Editing Andrew D. Gordon

{{Short description|British computer scientist}}
{{Use dmy dates|date=February 2018}}
{{Use British English|date=February 2018}}
{{Infobox scientist
| name = Andrew D. Gordon
| image = <!-- Filename only, no "File:" prefix -->
| alt =
| caption =
| birth_date = <!--{{birth date |196y|mm|dd}}-->
| birth_place = [[Great Britain]]
| death_date = <!--{{death date and age |202y|mm|dd |196y|mm|dd}} death date then birth date -->
| death_place =
| resting_place =
| resting_place_coordinates = <!--{{coord|LAT|LONG|type:landmark|display=inline,title}}-->
| fields = [[computer science]]
| workplaces = Cogna<br/>[[Department of Computer Science and Technology, University of Cambridge]]<br/>[[University of Edinburgh]]<br/>[[Microsoft Research]]
| patrons =
| education = Ph.D., [[University of Cambridge]], 1992
| thesis_title = Functional programming and input/output
| thesis_url = https://www.microsoft.com/en-us/research/publication/functional-programming-input-output/
| thesis_year = 1992
| doctoral_advisor = <!-- or | doctoral_advisors = -->
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for = [[Concurrent Haskell]]<br/>[[π-calculus|Spi calculus]]<br/>[[ambient calculus]]<br/>[[SecPAL]]
| awards =
| spouse = <!-- or | spouses = -->
| children =
| signature = <!-- Filename only -->
| signature_type = <!-- defaults to "Signature" -->
| signature_alt =
| website = {{URL|www.cogna.co}}
| footnotes =
}}

'''Andrew D. Gordon''' is a British [[computer scientist]] employed by software synthesis company Cogna<ref>{{cite web |author1=<!-- Unstated --> |year=2024 |title=Precision software defined by you, delivered by AI |url=https://www.cogna.co/ |website=Cogna, Ltd. |place=London, England |access-date=2024-12-01}}</ref> as Chief Science Officer,<ref name="LinkedIn">{{cite web |last1=Gordon |first1=Andy |date=<!-- Undated --> |title=Andy Gordon |url=https://www.linkedin.com/in/andrew-d-gordon/ |website=[[LinkedIn]] |place=London, England |access-date=2024-12-01}}</ref> and by the [[University of Cambridge]].<ref name="LinkedIn"/> Formerly, he worked for [[Microsoft Research]]. His research interests include [[programming language]] design, [[formal methods]], [[Concurrency (computer science)|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 [[Department of Computer Science and Technology, University of Cambridge|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.<ref>{{cite web |author1=<!-- Unstated --> |date=<!-- Undated --> |title=Programming, Principles, and Tools Group |url=https://www.microsoft.com/en-us/research/<!-- former: http://research.microsoft.com/en-us/groups/ppt/default.aspx --> |website=[[Microsoft Research]] |access-date=2024-11-28}}</ref> He also holds a professorship at the [[University of Edinburgh]].<ref>{{cite web |author1=<!-- Unstated --> |date=<!-- Undated --> |title=Andy Gordon |url=https://www.inf.ed.ac.uk/people/staff/Andrew_Gordon.html |website=School of Informatics |publisher=[[University of Edinburgh]] |access-date=2024-12-01}}</ref>

==Research==
Gordon is one of the designers of [[Concurrent Haskell]], an extension to the [[Functional programming|functional]] [[programming language]] [[Haskell]], which added explicit [[primitive data type]]s for [[Concurrency (computer science)|concurrency]], and then became a [[Library (computing)|library]] named <code>Control.Concurrent</code> as part of the [[Glasgow Haskell Compiler]]. He is the co-designer with [[Martin Abadi]] of Spi calculus, a [[π-calculus]] extension, for [[Formal methods|formalized reasoning]] about cryptographic systems.<ref>{{cite book |last1=Ryan |first1=Peter |last2=Schneider |first2=Steve A. |year=2001 |title=The modelling and analysis of security protocols: the CSP approach |publisher=Addison-Wesley Professional |isbn=978-0-201-67471-2 |chapter=9.10 Spi calculus |url=https://books.google.com/books?id=Q1lABK_C9X8C&pg=PA234 |pages=234–235}}</ref> He and [[Luca Cardelli]] invented the [[ambient calculus]] for reasoning about [[mobile code]].<ref>{{cite book |last1=Bergstra |first1=J. A. |last2=Ponse |first2=Alban |last3=Smolka |first3=Scott A. |year=2001 |title=Handbook of process algebra |url=https://books.google.com/books?id=gSH9zg5s3ygC&pg=PA1026 |chapter=4.3.3. The ambient calculus |publisher=Elsevier |isbn=978-0-444-82830-9 |pages=1026–1028}}</ref> 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]].<ref>{{cite web |author1=<!-- Unstated --> |year=2012–2024 |title=Department of Computer Science and Technology – Awards and honours |url=https://www.cl.cam.ac.uk/misc/honours/ |website=Department of Computer Science and Technology |publisher=[[University of Cambridge]] |access-date=2024-11-28}}</ref> 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.<ref>{{cite web |author1=<!-- Unstated --> |year=1993–2014 |title=Most Influential POPL Paper Award |url=https://www.sigplan.org/Awards/POPL/ |website=ACM Special Interest Group on Programming Languages (SIGPLAN) |publisher=[[Association for Computing Machinery]] |archive-url=https://web.archive.org/web/20090802224413/http://www.sigplan.org/award-popl.htm |archive-date=2009-08-02 |access-date=2024-11-28}}</ref>

==References==
{{Reflist}}

==External links==
* {{Official website|www.cogna.co}}, Cogna
* {{Google Scholar ID|id=mfBjUiIAAAAJ}}

{{Haskell programming}}
{{Authority control}}

{{DEFAULTSORT:Gordon, Andrew D.}}
[[Category:Year of birth missing (living people)]]
[[Category:Living people]]
[[Category:British computer scientists]]
[[Category:Formal methods people]]
[[Category:Members of the University of Cambridge Computer Laboratory]]
[[Category:Academics of the University of Edinburgh]]
[[Category:Programming language researchers]]