Peter Mosses

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.

His main contribution has been in the area of formal program semantics.

Currently, Mosses is a visitor at TU Delft, working with the Programming Languages Group.

You can help Wikipedia by expanding it.This article on a computer specialist of the United Kingdom is a stub.