Research output per year
Research output per year
Personal profile
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.
Fingerprint
Dive into the research topics where Gordon Plotkin is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Fixed-Points for Quantitative Equational Logics
Mardare, R., Panangaden, P. & Plotkin, G. D., 9 Jul 2021, Proceedings of the 36th Annual Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers, 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Practical steps to digital organism models, from laboratory model species to ‘Crops in silico’
Millar, A. J., Urquiza Garcia, J., Freeman, P., Hume, A., Plotkin, G. D., Sorokina, O., Zardilis, A. & Zielinski, T., 15 Apr 2019, In: Journal of Experimental Botany. 70, 9, p. 2403–2418 16 p., JEXBOT/2018/235879.Research output: Contribution to journal › Review article › peer-review
Open AccessFile -
Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies
Bowler, N., Levy, P. B. & Plotkin, G., 11 Dec 2018, In: Electronic Notes in Theoretical Computer Science. 341, p. 23-44 22 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Free complete Wasserstein algebras
Mardare, R., Panangaden, P. & Plotkin, G., 14 Sept 2018, In: Logical Methods in Computer Science. 14, 3, 18 p., 4826.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
An Algebraic Theory of Markov Processes
Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 9 Jul 2018, Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, United Kingdom: ACM, p. 679-688 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Activities
- 1 Invited talk
-
ASA2018 talk: Forging a Causal Chain Around the Circadian Clock, from Genome Sequence to Field Traits
Andrew Millar (Invited speaker), Argyris Zardilis (Contributor), Jose Urquiza Garcia (Contributor), Alastair Hume (Contributor), Robert Muetzelfeldt (Contributor) & Gordon Plotkin (Contributor)
5 Nov 2018Activity: Academic talk or presentation types › Invited talk
Projects
- 13 Finished
-
-
Milner Symposium 2012
Plotkin, G., Fourman, M., Gilmore, S. & Hillston, J.
16/04/12 → 15/01/13
Project: Research
-
The 2010 Federated Logic Conference
Plotkin, G., Bundy, A. & Libkin, L.
1/02/10 → 31/10/10
Project: Research
-
SynthSys; formerly CSBE: Centre for Systems Biology at Edinburgh
Millar, A., Beggs, J., Ghazal, P., Goryanin, I., Hillston, J., Plotkin, G., Tollervey, D., Walton, A. & Robertson, K.
8/01/07 → 31/12/12
Project: Research
-
Linking visual formalisms and specification calculi for biological modelling
1/01/07 → 31/07/08
Project: Research
Press/Media
-
2020 ACM Fellows recognized for work that underpins contemporary computing
13/01/21 → 14/01/21
8 Media contributions
Press/Media: Expert Comment