World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
67
Citations
28971
World Ranking
2142
National Ranking
119

Research.com Recognitions

  • 2020 - ACM Fellow For contributions to the science of programming languages, particularly their operational and denotational semantics
  • 1993 - Fellow of the Royal Society of Edinburgh
  • 1992 - Fellow of the Royal Society, United Kingdom
  • 1989 - Member of Academia Europaea

Overview

Gordon Plotkin is affiliated with the University of Edinburgh in the United Kingdom. Their research primarily spans the broad field of computer science, with a particular focus on areas that intersect logic, reasoning, and knowledge.

The main topics of Gordon Plotkin's work include:

  • Logic, Reasoning, and Knowledge
  • Logic, programming, and type systems
  • Advanced Algebra and Logic
  • Computability, Logic, AI Algorithms
  • Formal Methods in Verification
  • Homotopy and Cohomology in Algebraic Topology
  • Algebraic structures and combinatorial models

The primary subfields of study in their research consist of:

  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Mathematical Physics
  • Electrical and Electronic Engineering
  • Geometry and Topology

Their recent published papers cover various aspects of logic and programming theory, including:

  • "Reverse Derivative Categories", 2020, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • "Smart Choices and the Selection Monad", 2023, Logical Methods in Computer Science
  • "Propositional Logics for the Lawvere Quantale", 2023, Electronic Notes in Theoretical Informatics and Computer Science
  • "Tensor of Quantitative Equational Theories", 2021, Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • "Sum and Tensor of Quantitative Effects", 2024, Logical Methods in Computer Science

Frequent collaboration has been a feature of their work. Notable coauthors include:

  • Giorgio Bacci
  • Radu Mardare
  • Prakash Panangaden
  • Martín Abadi
  • Yotam Dvir

Gordon Plotkin has published extensively in several recognized venues such as:

  • arXiv (Cornell University)
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Logical Methods in Computer Science
  • Electronic Notes in Theoretical Informatics and Computer Science
  • Electronic Notes in Theoretical Computer Science

Recognition for their contributions includes being named an ACM Fellow in 2020 for work in programming languages, particularly their operational and denotational semantics. Additional honors include fellowship of the Royal Society of Edinburgh and the Royal Society in the United Kingdom, as well as membership in Academia Europaea.

Best Publications

  • A Structural Approach to Operational Semantics

    Gordon D. Plotkin

  • A framework for defining logics

    Robert Harper;Furio Honsell;Gordon Plotkin

  • Call-by-name, call-by-value and the λ-calculus

    Gordon D. Plotkin

  • LCF considered as a programming language

    Gordon D. Plotkin

  • A Note on Inductive Generalization

    Gordon D. Plotkin

  • Petri nets, event structures and domains, part I

    Mogens Nielsen;Gordon D. Plotkin;Glynn Winskel

  • A calculus for access control in distributed systems

    Martín Abadi;Michael Burrows;Butler Lampson;Gordon Plotkin

  • A Powerdomain Construction

    Gordon D. Plotkin

  • The Category-Theoretic Solution of Recursive Domain Equations

    Michael B. Smyth;Gordon D. Plotkin

  • Abstract types have existential type

    John C. Mitchell;Gordon D. Plotkin

  • An ideal model for recursive polymorphic types

    David MacQueen;Gordon Plotkin;Ravi Sethi

  • An Operational Semantics for CSP.

    Gordon D. Plotkin

  • Dynamic typing in a statically typed language

    Martín Abadi;Luca Cardelli;Benjamin Pierce;Gordon Plotkin

  • Abstract syntax and variable binding

    M. Fiore;G. Plotkin;D. Turi

  • Towards a mathematical operational semantics

    D. Turi;G. Plotkin

  • A probabilistic powerdomain of evaluations

    C. Jones;G.D. Plotkin

  • The origins of structural operational semantics

    Gordon D Plotkin

  • A Further Note on Inductive Generalization

    G. D. Plotkin

  • Notions of Computation Determine Monads

    Gordon D. Plotkin;John Power

  • Petri Nets, Event Structures and Domains

    Mogens Nielsen;Gordon D. Plotkin;Glynn Winskel

  • Full abstraction for a simple parallel programming language

    Matthew Hennessy;Gordon D. Plotkin

Frequent Co-Authors

Martín Abadi
Martín Abadi Google (United States)
John Power
John Power Macquarie University
Prakash Panangaden
Prakash Panangaden McGill University
Glynn Winskel
Glynn Winskel University of Cambridge
Benjamin C. Pierce
Benjamin C. Pierce University of Pennsylvania
Luca Cardelli
Luca Cardelli University of Oxford
Rob van Glabbeek
Rob van Glabbeek Stanford University
Vincent Danos
Vincent Danos École Normale Supérieure
Butler W. Lampson
Butler W. Lampson Microsoft (United States)
Andrew J. Millar
Andrew J. Millar University of Edinburgh

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

Studying Computer Science in the USA opens diverse pathways, especially with the flexibility of online learning. Many students begin by earning an online associate's degree in computer science or a related field. This option offers a solid foundation and is a cost-effective starting point for further study.

For those concerned about expenses, there are numerous affordable online courses that allow students to strengthen their skills without incurring heavy debt. These options make tech education more accessible to a broader audience.

Some prospective students may worry about their academic history. Fortunately, many reputable programs can be found on lists of best online colleges that accept low gpa, providing opportunities even for those whose grades might not reflect their potential.

Beyond traditional tech roles, computer science graduates also pursue interdisciplinary careers. Combining skills from other fields, such as environmental studies, can create unique opportunities. To explore broader options, consider what you can do with jobs with elementary education and environmental science degree, and discover how technology expertise enhances various career paths.

Best Scientists Citing Gordon Plotkin

Trending Scientists

Recently Published Articles