Editing Andrew D. Gordon (section)

==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.