Andrew D Gordon

Andrew D. Gordon 是一位杰出的英国计算机科学家，现任软件合成公司 Cogna 的首席科学官，并在剑桥大学和爱丁堡大学担任教授职务。他的研究领域涵盖编程语言设计、形式化方法、并发计算、密码学及访问控制等。他曾在微软研究院工作26年，担任合伙研究经理，领导团队开发了多项创新，例如用于 Microsoft Excel 的生成式 AI 自然语言公式和 Calc.ts 客户端执行引擎。他因其在编程语言原理、逻辑、可用性及可信度研究方面的贡献，于2020年被评为 ACM Fellow。他还参与设计了诸如 Concurrent Haskell、Spi Calculus 和 Ambient Calculus 等知名计算模型，并因其在这些领域的开创性工作多次获得学术奖项。

• 2023年至今·Cogna·首席科学官
  • 负责软件合成技术的研究与发展。
• 1997-2023·微软研究院·合伙研究经理
  • 领导编程原则与工具组，研究编程语言及其应用。
• 1992-1997·剑桥大学计算机实验室·研究员
  • 主要从事函数式编程语言及其应用研究。

• 1989-1992·剑桥大学·博士
  • 研究方向为函数式编程与输入输出。