Gordon Plotkin#
| Membership Number: | 631 |
| Membership type: | ORDINARY |
| Section: | INFORMATICS |
| Elected: | 1989 |
| Main Country of Residence: | UNITED KINGDOM |
Present and Previous Positions
- School of Informatics at the University of Edinburgh
Fields of Scholarship
- Operational semantics
- Denotational semantics
Honours and Awards
- 1992 Fellow of the Royal Society (FRS)
- Fellow of the Royal Society of Edinburgh (FRSE)
- Winner of the Royal Society Wolfson Research Merit Award
- 2011 Blaise-Pascal-Medaille
- 2012 Milner Award for "his fundamental research into programming semantics with lasting impact on both the principles and design of programming languages"
- 2014 EATCS-Award
- 2018 die Lovelace Medal
- 2023 Member of the American Academy of Arts and Sciences
