Google
 
   
Login
Username:

Password:


Lost Password?

Register now!
Search
Main Menu
service
top books
Polls
What do you think about php-deluxe.net?
Excellent!
Cool
Hmm..not bad
What the hell is this?
encyclopedia
recommendation
Freenet DSL
Who's Online
13 user(s) are online (12 user(s) are browsing encyclopedia)

Members: 0
Guests: 13

more...
partner

Gordon Plotkin

Gordon D. Plotkin FRS is a computer scientist.

Gordon Plotkin developed structural operational semantics (SOS) and also worked on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics of 1981 were very influential.

For many years Plotkin was at Aarhus University in Denmark. He is now Professor of Theoretical Computer Science at Edinburgh University in Scotland, where he co-founded the Laboratory for the Foundations of Computer Science (LFCS). He was elected a Fellow of the Royal Society in 1992.

= External links =

  • [http://www.inf.ed.ac.uk/people/staff/Gordon_Plotkin.html Official home page]
  • [http://homepages.inf.ed.ac.uk/gdp/ Personal home page]
  • [http://homepages.inf.ed.ac.uk/gdp/publications/ Online publications]
  • [http://citeseer.ist.psu.edu/plotkin81structural.html A Structural Approach to Operational Semantics] by G.D. Plotkin (1981)
  • [http://vmoc.museophile.org/pvs04/ Program Verification and Semantics: Further Work] (2004)