View source for Biography:Peter Mosses

{{short description|British computer scientist}}
{{Infobox scientist
| name              = Peter Mosses
| birth_date        = {{birth year and age|1948}}
| nationality       = {{wipe|United Kingdom}}
| fields            = 
| workplaces        = 
| alma_mater        = 
| thesis_title      = Mathematical Semantics and Compiler Generation
| thesis_url        = https://ora.ox.ac.uk/objects/uuid:b590173b-0a86-40c0-8e75-6a6fc5035c43
| thesis_year       = 1975
| doctoral_advisor  = [[Biography:Christopher Strachey|Christopher Strachey]]<br />[[Biography:Dana Scott|Dana Scott]]
| website           = {{URL|https://pdmosses.github.io/}}
}}
'''Peter David Mosses''' (born 1948) is a British computer scientist.

Peter Mosses studied [[Mathematics|mathematics]] as an undergraduate at Trinity College, Oxford, and went on to undertake a DPhil supervised by [[Biography:Christopher Strachey|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 Strachey's death.

In 1978, Mosses published his [[Compiler-compiler|compiler-compiler]], the Semantic Implementation System (SIS), which uses a [[Denotational semantics|denotational semantics]] description of the input language.<ref>Peter Mosses, "SIS: A Compiler-Generator System Using Denotational Semantics," Report 78-4-3, Dept. of Computer Science, University of Aarhus, Denmark, June 1978</ref>

Mosses has spent most of his career at BRICS in {{wipe|Denmark}}. He returned to a chair at [[Organization:Swansea University|Swansea University]], Wales. His main contribution has been in the area of formal program semantics. In particular, with [[Biography:David Watt (computer scientist)|David Watt]] he developed [[Action semantics|action semantics]], a combination of [[Denotational semantics|denotational]], [[Operational semantics|operational]] and [[Algebraic semantics (computer science)|algebraic semantics]].

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

==References==
{{Reflist}}

== External links ==
* [https://pdmosses.github.io/ Home page]
* {{DBLP|name=Peter D. Mosses}}


{{DEFAULTSORT:Mosses, Peter}}
[[Category:Formal methods people]]



{{Sourceattribution|Peter Mosses}}