Gordon Plotkin

David Gordon Plotkin ( born September 9, 1946 in Glasgow ) is a British theoretical computer scientists. Plotkin studied at the University of Glasgow and the University of Edinburgh with a Bachelor 's degree in 1967 and a PhD in computer science at Rodney Burstall ( b. 1934 ) 1972 ( Automatic methods of inductive inference ). He became a professor in Edinburgh, where he founded with Burstall and Robin Milner the Laboratory for Foundations of computer science ( Laboratory for Foundations of Computer Science, LFCs ).

He is known for the introduction of the Structural Operational Semantics (SOS, also Small Step Semantics ) in the theory of programming languages. It also deals with denotationeller semantics, type theory, domain theory and category- theoretical analysis in computer science, general proof theory, semantics of natural languages ​​, process calculi and computational models in biology and chemistry.

For 2014, he received the EATCS Award. He is a Fellow of the Royal Society (1992 ), Fellow of the Royal Society of Edinburgh and a member of the Academia Europaea. He was awarded the Wolfson Research Merit Award and the Milner Award from the Royal Society.

Writings

  • A structural approach to operational semantics, Computer Science Department, University of Aarhus, 1981 Reprints: J. Log. Algebr. . Program, Volume 60-61, 2004, pp. 17-139 ( with an introduction by Plotkin: The Origins of Structural Operational Semantics )
  • John C. Mitchell: Abstract types have existential type, ACM Transactions on Programming Languages ​​and Systems 10, 1988, 470
Mathematics Genealogy Project Integrated Authority File
273457
de