Sneha Girap (Editor)

Gordon Plotkin

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Nationality
  
British


Role
  
Computer scientist

Name
  
Gordon Plotkin

Fields
  
Logic, Computer Science

Gordon Plotkin wwwbathacukceremonies2013winterimageshongr

Born
  
Gordon David Plotkin 9 September 1946 (age 77) Glasgow (
1946-09-09
)

Institutions
  
University of Edinburgh Laboratory for Foundations of Computer Science School of Informatics University of Glasgow

Alma mater
  
University of Glasgow (BSc) University of Edinburgh (PhD)

Thesis
  
Automatic methods of inductive inference (1972)

Doctoral students
  
Luca Cardelli Marcelo Fiore Philippa Gardner Martin Hofmann John Longley Ewen Denney Eugenio Moggi Mohammad Reza Mousavi Michael Pedersen David Pym Alex Simpson Li Wei Glynn Winskel

Known for
  
Programming Computable Functions Unbounded nondeterminism Operational semantics Domain theory

Doctoral advisor
  
Rod Burstall, Donald Michie

Notable students
  
Luca Cardelli, Eugenio Moggi, Li Wei

Similar People
  
Gerard Huet, Luca Cardelli, Eugenio Moggi, Donald Michie, Steve Morrison

Residence
  
Scotland, United Kingdom

Education
  
University of Edinburgh

Gordon plotkin robin milner a craftsman of tools for the mind


Gordon David Plotkin, FRS, FRSE (born 9 September 1946) 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. He has contributed to many other areas of computer science.

Contents

Gordon Plotkin Gordon Plotkin Biography Computer scientist Engineer Educator

Education

Gordon Plotkin Gordon Plotkin Edinburgh Research Explorer

Plotkin was educated at the University of Glasgow and the University of Edinburgh, gaining his Bachelor of Science degree in 1967 and PhD in 1972 supervised by Rod Burstall.

Career

Plotkin has remained at Edinburgh, and was, with Burstall and Robin Milner, a co-founder of the Laboratory for Foundations of Computer Science (LFCS).

Awards and honours

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 Europæa. 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."

His nomination for the Royal Society reads:

References

Gordon Plotkin Wikipedia