Peter Mosses
From Wikipedia, the free encyclopedia
Peter D. Mosses 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.
[edit] External links
- Home page
- Peter D. Mosses bibliography in the DBLP database
 |
This biography of a United Kingdom academic is a stub. You can help by expanding it. |
Categories: United Kingdom academic biography stubs | United Kingdom computer specialist stubs | Year of birth missing | Living people | Alumni of Trinity College, Oxford | Alumni of Wolfson College, Oxford | Members of Oxford University Computing Laboratory | British computer scientists | Academics of Swansea University | Formal methods people
