Peter Mosses

Peter Mosses
Född	1948 (74–75 år)
Nationalitet	brittisk
Vetenskaplig karriär
Avhandling	Matematisk semantik och kompilatorgenerering (1975)
Doktorand rådgivare	Christopher Strachey Dana Scott
Hemsida	pdmosses .github .io

Peter David Mosses (född 1948) är en brittisk datavetare.

Peter Mosses studerade matematik som grundexamen vid Trinity College , Oxford , och fortsatte med en DPhil under handledning av Christopher Strachey i Programming Research Group medan han var vid Wolfson College, Oxford i början av 1970-talet. Han var den sista studenten som lämnade in sin avhandling under Strachey före Stracheys död.

År 1978 publicerade Mosses sin kompilator-kompilator , Semantic Implementation System (SIS), som använder en denotationssemantisk beskrivning av inmatningsspråket.

Mosses har tillbringat större delen av sin karriär på BRICS i Danmark . Han återvände till en lärostol vid Swansea University , Wales . Hans huvudsakliga bidrag har varit inom området formell programsemantik . I synnerhet med David Watt utvecklade han handlingssemantik , en kombination av denotations- , operationell och algebraisk semantik .

För närvarande är Mosses en besökare vid TU Delft och arbetar med Programming Languages ​​Group.

externa länkar

• Hemsida
• Peter D. Mosses på DBLP Bibliography Server