Andrew D Gordon

Andrew D. Gordon is a distinguished British computer scientist who currently serves as the Chief Scientist of the software synthesis company Cogna and holds professorial positions at both the University of Cambridge and the University of Edinburgh. His research spans areas such as programming language design, formal methods, concurrent computing, cryptography, and access control. He worked for 26 years at Microsoft Research as a Partner Research Manager, leading teams that developed innovative technologies such as generative AI natural language formulas for Microsoft Excel and the Calc.ts client-side execution engine. In recognition of his contributions to research on programming language principles, logic, usability, and trust, he was elected an ACM Fellow in 2020. Gordon has co-designed renowned computational models such as Concurrent Haskell, Spi Calculus, and Ambient Calculus, earning multiple academic awards for his groundbreaking work in these fields.

• 2023 – Present·Cogna·Chief Scientist
  • Responsible for research and development of software synthesis technologies.
• 1997 – 2023·Microsoft Research·Partner Research Manager
  • Led the Programming Principles and Tools group, studying programming languages and their applications.
• 1992 – 1997·Computer Laboratory, University of Cambridge·Research Fellow
  • Focused on research in functional programming languages and their applications.

• 1989 – 1992·University of Cambridge·PhD
  • Research focus: Functional programming and input/output.