Gordon Plotkin
Computer Scientist / From Wikipedia, the free encyclopedia
Gordon David Plotkin, FRS FRSE MAE (born 9 September 1946)[1] is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably 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 were very influential.[9][10] He has contributed to many other areas of computer science.[11][12][13][14][15][16][17]
Quick Facts Born, Alma mater ...
Gordon Plotkin | |
---|---|
Born | Gordon David Plotkin (1946-09-09) 9 September 1946 (age 77)[1] Glasgow, Scotland |
Alma mater | University of Glasgow (BSc) University of Edinburgh (PhD) |
Known for | Programming Computable Functions Unbounded nondeterminism Operational semantics Domain theory |
Awards | |
Scientific career | |
Fields | Logic Mathematics Computer science |
Institutions | University of Edinburgh Laboratory for Foundations of Computer Science School of Informatics University of Glasgow |
Thesis | Automatic methods of inductive inference (1972) |
Doctoral advisor | |
Doctoral students | |
Website | homepages inf |
Close