World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
67
Citations
22289
World Ranking
2163
National Ranking
1086

Research.com Recognitions

  • 2020 - ACM Fellow For contributions to programming languages: their principles, logic, usability, and trustworthiness

Overview

Andrew D. Gordon is affiliated with Microsoft in the United States. Their research contributions span various domains within computer science, with a strong focus on software, information systems and management, and artificial intelligence. Their body of work primarily addresses topics related to spreadsheets and end-user computing, scientific computing and data management, as well as explainable artificial intelligence.

The scientist has published extensively in several venues, including:

  • arXiv (Cornell University)
  • ACM Transactions on Software Engineering and Methodology
  • Journal of Functional Programming
  • ACM Transactions on Programming Languages and Systems
  • Journal of Computer Languages

Among their recent papers are the following:

  • Elastic sheet-defined functions: Generalising spreadsheet functions to variable-size input arrays (2020, Journal of Functional Programming)
  • Requirements Are All You Need: The Final Frontier for End-User Software Engineering (2024, ACM Transactions on Software Engineering and Methodology)
  • Participatory prompting: a user-centric research method for eliciting AI assistance opportunities in knowledge workflows (2023, arXiv)
  • Co-audit: tools to help humans double-check AI-generated content (2023, arXiv)
  • Requirements are All You Need: The Final Frontier for End-User Software Engineering (2024, arXiv)

Frequent collaborators include:

  • Advait Sarkar
  • Jack M. Williams
  • Ian Drosos
  • Christian Cabrera
  • Neil D. Lawrence

Andrew D. Gordon's research has contributed to subfields such as software development, information systems and management, artificial intelligence, computer networks and communications, and developmental and educational psychology. Their work covers main topics including:

  • Spreadsheets and End-User Computing
  • Scientific Computing and Data Management
  • Educational Games and Gamification
  • Statistics Education and Methodologies
  • Bayesian Modeling and Causal Inference
  • Advanced Database Systems and Queries
  • Explainable Artificial Intelligence (XAI)

They have also contributed a book titled Functional programming and input/output published by CL Technical Reports in 2021, which has garnered citations in the field.

In recognition of their work, Andrew D. Gordon was named an ACM Fellow in 2020 for contributions to programming languages, encompassing their principles, logic, usability, and trustworthiness.

Best Publications

  • Mobile ambients

    Luca Cardelli;Andrew D. Gordon

  • A calculus for cryptographic protocols: the spi calculus

    Martín Abadi;Andrew D. Gordon

  • A calculus for cryptographic protocols

    Martín Abadi;Andrew D. Gordon

  • Concurrent Haskell

    Simon Peyton Jones;Andrew Gordon;Sigbjorn Finne

  • Anytime, anywhere: modal logics for mobile ambients

    Luca Cardelli;Andrew D. Gordon

  • Verified reference implementations of WS-Security protocols

    Karthikeyan Bhargavan;Cédric Fournet;Andrew D. Gordon

  • Probabilistic programming

    Andrew D. Gordon;Thomas A. Henzinger;Aditya V. Nori;Sriram K. Rajamani

  • Authenticity by typing for security protocols

    Andrew D. Gordon;Alan Jeffrey

  • SecPAL: Design and semantics of a decentralized authorization language

    Moritz Y. Becker;Cédric Fournet;Andrew D. Gordon

  • Types and effects for asymmetric cryptographic protocols

    Andrew D. Gordon;Alan Jeffrey

  • Verifier to check intermediate language

    Andrew Gordon;Donald Syme;Jonathon Forbes;Vance P. Morrison

  • Types for mobile ambients

    Luca Cardelli;Andrew D. Gordon

  • Refinement types for secure implementations

    Jesper Bengtson;Karthikeyan Bhargavan;Cédric Fournet;Andrew D. Gordon

  • Experience with Embedding Hardware Description Languages in HOL

    Richard J. Boulton;Andrew Gordon;Michael J. C. Gordon;John Harrison

  • Bisimilarity as a theory of functional programming

    Andrew D. Gordon

  • Verified interoperable implementations of security protocols

    Karthikeyan Bhargavan;Cédric Fournet;Andrew D. Gordon;Stephen Tse

  • A bisimulation method for cryptographic protocols

    Martín Abadi;Andrew D. Gordon

  • Design and Semantics of a Decentralized Authorization Language

    M.Y. Becker;C. Fournet;A.D. Gordon

  • Mobility Types for Mobile Ambients

    Luca Cardelli;Andrew D. Gordon;Giorgio Ghelli

  • Functional Programming and Input/Output

    Andrew D. Gordon

Frequent Co-Authors

Cédric Fournet
Cédric Fournet Microsoft (United States)
Karthikeyan Bhargavan
Karthikeyan Bhargavan French Institute for Research in Computer Science and Automation - INRIA
Luca Cardelli
Luca Cardelli University of Oxford
Charles Sutton
Charles Sutton Google (United States)
Thore Graepel
Thore Graepel University College London
Sriram K. Rajamani
Sriram K. Rajamani Microsoft (United States)
Aditya V. Nori
Aditya V. Nori Microsoft (United States)
Jan Jürjens
Jan Jürjens University of Koblenz and Landau
Martín Abadi
Martín Abadi Google (United States)
Gilles Barthe
Gilles Barthe Max Planck Institute for Security and Privacy

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees can provide flexibility and affordability for those pursuing Computer Science in the USA. Students looking to advance their expertise may consider some of the cheapest phd programs, which offer high-level education at reduced costs—a key factor for many graduate students.

For those interested in leadership or education, an online edd fast-track program could be completed more quickly, opening doors to executive and academic careers. Alternatively, prospective students wondering "what degree can I get online in 6 months" will find that certain accelerated associate programs offer a rapid pathway into the workforce or further studies.

Business and technology often go hand-in-hand. Earning a credential from online business degree programs accredited by recognized institutions can complement your computer science knowledge and expand your career options in the tech industry. With so many flexible options, it’s never been easier to tailor your education to your goals.

Best Scientists Citing Andrew D. Gordon

Trending Scientists