Gordon Plotkin
| Gordon D. Plotkin | |
|---|---|
 |
|
| Born | 9 September 1946 Glasgow |
| Residence | Scotland |
| Nationality | British |
| Fields | logician, computer scientist, mathematician |
| Institutions | University of Edinburgh |
| Alma mater | Edinburgh |
| Doctoral advisor | Rod Burstall |
| Doctoral students | Luca Cardelli (1982) Marcelo Fiore (1994) Philippa Gardner (1992) Martin Hofmann (1995) John Longley (1995) Eugenio Moggi (1988) Mohammad Reza Mousavi (2005) Michael D. Pedersen (2010) David Pym (1990) Alex Simpson (1994) Lǐ Wèi Glynn Winskel (1980) |
Gordon D. Plotkin, FRS, FRSE (born 9 September 1946, in Glasgow) is a Scottish computer scientist.
Gordon Plotkin is best-known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics of 1981 were very influential. He has contributed to many other areas of computer science.
Plotkin is now Professor of Theoretical Computer Science in the School of Informatics at The University of Edinburgh.
Contents |
[edit] Biography
Plotkin received his PhD in 1972 from the University of Edinburgh,[1] where he studied under Rod Burstall. He has remained at Edinburgh, and was, with Burstall and Milner, a co-founder of the Laboratory for Foundations of Computer Science (LFCS).
[edit] Works
- 1975: "Call-by-Name, Call-by Value and the Lambda Calculus".
- A Structural Approach to Operational Semantics by G.D. Plotkin (1981)
- Program Verification and Semantics: Further Work (2004)
[edit] Awards
He 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 Europæa. He is also a winner of the Royal Society Wolfson Research Merit Award.
[edit] See also
- Church-Rosser theorem
- Domain theory
- Golem (ILP)
- Informatics
- LFCS
- Operational semantics
- Programming language for Computable Functions
- Unbounded nondeterminism
- University of Edinburgh
[edit] References
[edit] External links
 |
This biography article of a United Kingdom academic is a stub. You can help Wikipedia by expanding it. |
 |
This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |
- 1946 births
- Living people
- British computer scientists
- Fellows of the Royal Society
- Members of Academia Europaea
- Royal Society Wolfson Research Merit Award holders
- Formal methods people
- Programming language researchers
- British Jews
- Jewish scientists
- Alumni of the University of Edinburgh
- Academics of the University of Edinburgh
- Fellows of the Royal Society of Edinburgh
- British academic biography stubs
- British computer specialist stubs
