Tripti Joshi (Editor)

Peter Mosses

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


Name
  
Peter Mosses

Thesis
  
Mathematical Semantics and Compiler Generation (1975)

Doctoral advisor
  
Christopher StracheyDana Scott

Peter David Mosses (born 1948) is a British computer scientist.

Peter Mosses studied mathematics as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by Christopher Strachey in the Programming Research Group while at Wolfson College, Oxford in the early 1970s. He was the last student to submit his thesis under Strachey before the latter's untimely death.

Mosses has spent most of his career at BRICS in Denmark. He returned to a chair at Swansea University, Wales. His main contribution has been in the area of formal program semantics. In particular, with David Watt he developed action semantics, a combination of denotational, operational and algebraic semantics.

References

Peter Mosses Wikipedia


Similar Topics