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

mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

as an undergraduate at

Trinity College Trinity College may refer to: Australia * Trinity Anglican College, an Anglican coeducational primary and secondary school in , New South Wales * Trinity Catholic College, Auburn, a coeducational school in the inner-western suburbs of Sydney, New ...

Oxford Oxford () is a City status in the United Kingdom, cathedral city and non-metropolitan district in Oxfordshire, England, of which it is the county town. The city is home to the University of Oxford, the List of oldest universities in continuou ...

, and went on to undertake a

DPhil A Doctor of Philosophy (PhD, DPhil; or ) is a terminal degree that usually denotes the highest level of academic achievement in a given discipline and is awarded following a course of graduate study and original research. The name of the deg ...

supervised by

Christopher Strachey Christopher S. Strachey (; 16 November 1916 – 18 May 1975) was a British computer scientist. He was one of the founders of denotational semantics, and a pioneer in programming language design and computer time-sharing.F. J. Corbató, et al., T ...

in the

Programming Research Group The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, along with the Numerical Analysis Group, until OUCL became the Department of Computer Science in 2011. The PRG was founded by ...

while at

Wolfson College, Oxford Wolfson College () is a Colleges of the University of Oxford, constituent college of the University of Oxford in England. Wolfson is an all-graduate college, it prides itself on being one of the most international colleges at Oxford, with part ...

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 In computer science, a compiler-compiler or compiler generator is a programming tool that creates a Parsing#Computer_languages, parser, interpreter (computer software), interpreter, or compiler from some form of formal description of a programm ...

, the Semantic Implementation System (SIS), which uses a

denotational semantics In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called ''denotations'' ...

description of the input language.Peter Mosses, "SIS: A Compiler-Generator System Using Denotational Semantics," Report 78-4-3, Dept. of Computer Science, University of Aarhus, Denmark, June 1978 Mosses has spent most of his career at BRICS in Denmark. He returned to a chair at

Swansea University Swansea University () is a public university, public research university located in Swansea, Wales, United Kingdom. It was chartered as University College of Swansea in 1920, as the fourth college of the University of Wales. In 1996, it chang ...

Wales Wales ( ) is a Countries of the United Kingdom, country that is part of the United Kingdom. It is bordered by the Irish Sea to the north and west, England to the England–Wales border, east, the Bristol Channel to the south, and the Celtic ...

. His main contribution has been in the area of formal

program semantics In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. It is closely related to, and oft ...

. In particular, with David Watt he developed

action semantics Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the 1990s. It is a mixture of denotational, operational and algebraic semantics. Action semantics ...

, a combination of denotational,

operational An operational definition specifies concrete, replicable procedures designed to represent a construct. In the words of American psychologist S.S. Stevens (1935), "An operation is the performance which we execute in order to make known a concept." F ...

and algebraic semantics. Currently, Mosses is a visitor at

TU Delft The Delft University of Technology (TU Delft; ) is the oldest and largest Dutch public university, public Institute of technology, technical university, located in Delft, Netherlands. It specializes in engineering, technology, computing, design, a ...

, working with the Programming Languages Group.

References

External links

Home page
* Living people Alumni of Trinity College, Oxford Alumni of Wolfson College, Oxford Members of the Department of Computer Science, University of Oxford British computer scientists Academics of Swansea University Formal methods people 1948 births {{UK-compu-bio-stub