Gordon Plotkin
Gordon David Plotkin (born September 9, 1946 in Glasgow ) is a British theoretical computer scientist . Plotkin studied at the University of Glasgow and the University of Edinburgh with a bachelor's degree in 1967 and a doctorate in computer science with Rodney Burstall (* 1934) 1972 (Automatic methods of inductive inference). He became a professor in Edinburgh, where he founded the Laboratory for Foundations of Computer Science (LFCS) with Burstall and Robin Milner .
He is known for introducing Structural Operational Semantics (SOS, also Small Step Semantics ) into the theory of programming languages . He also deals with denotational semantics , type theory, domain-theoretical and category-theoretical analysis in computer science, general proof theory , semantics of natural languages, process calculi and computational models in biology and chemistry.
In 2014 he received the EATCS Award . He is a Fellow of the Royal Society (1992), a Fellow of the Royal Society of Edinburgh and a member of the Academia Europaea . He received the Wolfson Research Merit Award and in 2012 the Milner Award from the Royal Society. In 2011 he received the Blaise Pascal Medal , in 2018 the Lovelace Medal .
Fonts
- A structural approach to operational semantics , Computer Science Department, University of Aarhus 1981, reprint: J. Log. Algebr. Program., Vol. 60–61, 2004, pp. 17–139 (with the introduction of Plotkin: The Origins of Structural Operational Semantics )
- with John C. Mitchell: Abstract types have existential type , ACM Transactions on Programming Languages and Systems 10, 1988, 470.
Web links
Individual evidence
- ↑ Gordon Plotkin in the Mathematics Genealogy Project (English)
| personal data | |
|---|---|
| SURNAME | Plotkin, Gordon |
| ALTERNATIVE NAMES | Plotkin, Gordon David |
| BRIEF DESCRIPTION | British computer scientist |
| DATE OF BIRTH | September 9, 1946 |
| PLACE OF BIRTH | Glasgow |