Gordon Plotkin

Gordon Plotkin

male, 63 years old
Jewish, operational semantics, Gordon D. Plotkin FRS, denotationalsemantics, Member of Academia Europaea, A Structural Approach to Operational Semantics
Gordon D. Plotkin FRS (born, in Glasgow, 9 September 1946) is a Scottish computer scientist. Gordon Plotkin is best-known for his introduction of...
Christopher Strachey

Christopher Strachey

male, deceased (1975)
operation code, Automatic Computing Engine, Pilot ACE, National Physical Laboratory, draughts, harrow school…denotationalsemantics
Christopher Strachey (1916-1975) was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in...
Peter Mosses

Peter Mosses

male
Oxford University, operational semantics, Formal methods, Alumni of Wolfson College, Oxford, Academic of Swansea University, Programming Research Group…algebraic semantics, program semantics, action semantics, denotationalsemantics, denotational
Peter D. Mosses is a British computer scientist. Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to...
Joe Stoy

Joe Stoy

male
Oxford University, Programming Research Group, Oxford University Computing Laboratory, Formal methods, denotationalsemantics, Balliol College, Oxford
Joe Stoy is a British computer scientist, although he originally studied physics at Oxford University. Early in his career, he worked on...

David Watt

male
computer scientist, algebraic semantics, Formal methods, operational semantics, denotationalsemantics, Academic of the University of Glasgow…action semantics
David Watt is a British computer scientist. Watt is a professor at the University of Glasgow, Scotland. With Peter Mosses he developed action...