Professor Peter Mosses

Professor Peter Mosses

Professor Emeritus (Science), Science and Engineering

Email address


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: 

Wikipedia: Wikipedia

Areas Of Expertise

  • Semantics of programming languages
  • Algebraic specification frameworks

Career Highlights


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).