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.

Qualifications

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

Biography

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. Dijkstra Monads for Free

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

  2. Chromar, a rule-based language of parameterised objects

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

  3. Mixed Powerdomains for Probability Nondeterminism

    Research output: Contribution to journalArticle

View all (52) »

Research activities & awards

  1. Fellow of the Royal Society of Edinburgh

    Activity: Awards and AccoladesElection to learned society

  2. Fellow of the Royal Society

    Activity: Awards and AccoladesElection to learned society

View all (2) »

Research projects

  1. The 2010 Federated Logic Conference

    Project: Funded ProjectResearch

  2. Milner Symposium

    Project: Funded ProjectResearch

  3. RULE

    Project: Funded ProjectResearch

View all (13) »

ID: 22448