Peter Mosses

Peter Mosses

Peter D. 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 [http://www.brics.dk/ 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.

External links

* [http://www.swan.ac.uk/compsci/people/homepage.php?staff=P.D.Mosses Home page]
*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Mosses from an Old Manse —   …   Wikipedia

  • Peter MacOwan — born Hull, England on 14 November 1830 died Uitenhage, Cape Province 30 November 1909, was a colonial botanist and teacher in South Africa. He was the son of Peter McOwan, a Wesleyan Minister from Scotland, and changed his name at some stage.… …   Wikipedia

  • Saint Peter and Paul Rocks — The Saint Peter and Saint Paul Islets, officially the Arquipélago de São Pedro e São Paulo , is an archipelago of the State of Pernambuco, in Brazilian Federation. It is an archipelago of small islands and rocks in the Equatorial Atlantic Ocean,… …   Wikipedia

  • Compiler-compiler — A compiler compiler or compiler generator is a tool that creates a parser, interpreter, or compiler from some form of formal description of a language and machine. The earliest and still most common form of compiler compiler is a parser generator …   Wikipedia

  • Compilador de computador — El estilo de esta traducción aún no ha sido revisado por terceros. Si eres hispanohablante nativo y no has participado en esta traducción puedes colaborar revisando y adaptando el estilo de ésta u otras traducciones ya acabadas. Un Compilador de… …   Wikipedia Español

  • List of University of Oxford people in academic disciplines — This is a list of people from the University of Oxford in academic disciplines. Many were students at one (or more) of the colleges of the University, and others held fellowships at a college. This list forms part of a series of lists of people… …   Wikipedia

  • BCS-FACS — is the British Computer Society Formal Aspects of Computing Science Specialist Group. The group, founded in 1978, organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal …   Wikipedia

  • David Watt (computer scientist) — David Anthony Watt (born 1946[1] is a British computer scientist. Watt is a professor at the University of Glasgow, Scotland. With Peter Mosses he developed action semantics, a combination of denotational semantics, operational and algebraic… …   Wikipedia

  • Plant — For other uses, see Plant (disambiguation). Plants Temporal range: Early Cambrian to recent, but see text, 520–0 Ma …   Wikipedia

  • plant — plantable, adj. plantless, adj. plantlike, adj. /plant, plahnt/, n. 1. any member of the kingdom Plantae, comprising multicellular organisms that typically produce their own food from inorganic matter by the process of photosynthesis and that… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”