Edinburgh Research Explorer

Research Interests

Applications of logic, especially: the denotational and operational semantics of programming languages; type-theory; domain-theoretic and categorical analyses of computation; general proof theory; the semantics of natural language; process calculi and computational biology.


1972 PhD in Artificial Intelligence, Edinburgh University
1967 BSc in Mathematics and Physics, Glasgow University


Gordon Plotkin was elected a Fellow of the Royal Society in 1992, is a Fellow of the Royal Society of Edinburgh and a Member of the Academia Europaea. He is also a winner of the Royal Society Wolfson Research Merit Award. Plotkin received the 2012 Royal Society Milner Award for "his fundamental research into programming semantics with lasting impact on both the principles and design of programming languages". He has also received the 2010 ACM SIGPLAN Programming Languages Achievement Award, the 2011 European Academy of Sciences, Blaise Pascal Medal in Computational Sciences and Information, 2011, and the 2014 EATCS Award.

Research outputs

  1. On the Axiomatizability of Quantitative Algebras

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Chromar, a language of parameterised objects

    Research output: Contribution to journalArticle

  3. Mixed powerdomains for probability and nondeterminism

    Research output: Contribution to journalArticle

View all (55) »

Research projects

  1. RULE

    Project: Funded ProjectResearch

  2. Milner Symposium

    Project: Funded ProjectResearch

  3. The 2010 Federated Logic Conference

    Project: Funded ProjectResearch

View all (13) »

ID: 22448