Professor Peter Mosses

Professor Peter Mosses

Professor Emeritus (Science), Science and Engineering

Email address

About

Peter Mosses obtained his doctoral degree in 1975 at the University of Oxford. From 1976 to 2004 he was based at Aarhus University, Denmark. He was appointed Professor of Computer Science at Swansea University in 2005, and an Emeritus in 2016. Currently, he is visiting the Programming Languages Group at Delft University of Technology, The Netherlands.

My personal homepage: https://pdmosses.github.io 

Wikipedia: Wikipedia https://en.wikipedia.org/wiki/Peter_Mosses

Areas Of Expertise

  • Semantics of programming languages
  • Algebraic specification frameworks

Career Highlights

Research

The main focus of research has been on pragmatic aspects of formal specifications. This included tool support for Denotational Semantics, and the development of several new semantic frameworks with a high degree of modularity: Action Semantics, MSOS (Modular Structural Operational Semantics), and CBS (Component-Based Semantics). 

Collaborations