Peter D. Mosses

Registered user since Mon 22 Jun 2015

Name: Peter D. Mosses

Bio: Peter Mosses is professor emeritus at Swansea University, and currently visiting the Programming Languages Group at TU Delft.

His research in semantics stretches back to Strachey’s Programming Research Group at Oxford in the early 1970s, where he contributed to the development of denotational semantics, and implemented SIS, a system for running programs based on their semantics. He was based at Aarhus University, Denmark, from 1976 to 2004.

The main focus of his research has been on pragmatic aspects of formal specifications – especially modularity. This led to the development of action semantics, MSOS (a modular variant of structural operational semantics) and component-based semantics. He is a principal investigator in the PLanCompS project (Programming Language Components and Specifications), He was also the initial coordinator of CoFI, the Common Framework Initiative, which designed the algebraic specification language CASL.

Country: Netherlands

Affiliation: Swansea University and TU Delft

Personal website: https://pdmosses.github.io

Research interests: Programming Languages, Formal Language Definition, Algebraic Specification

Contributions

GPCE 2019Committee Member in Program Committee within the GPCE 2019-track
SLEBoK 2018Committee Member in Program Committee within the SLEBoK 2018-track
CoCoDo 2018Author of FunCons within the CoCoDo 2018-track
GPCE 2017Keynote Speaker of Keynote: Engineering Meta-Languages for Specifying Software Languages within the GPCE 2017-track
SLE 2017Keynote Speaker of SLE Keynote: Engineering meta-languages for specifying software languages within the SLE-track
Committee Member in Keynote Speaker within the SLE-track
Modularity 2016 Author of Tool Support for Component-Based Semantics (second presentation) within the Demos & Posters-track
Author of Tool Support for Component-Based Semantics within the Demos & Posters-track
Committee Member in Program Committee within the Research Results-track
Session Chair of Modularity Mechanisms (part of Modularity Visions)
PEPM 2015Author of Imperative Polymorphism by Store-Based Types as Abstract Interpretations within the PEPM 2015-track