Coronavirus Recovery: advice and latest information
Professor Peter Mosses

Professor Peter Mosses

Professor Emeritus (Science), College of Science

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

Coordinator of CoFI (Common Framework Initiative for algebraic specification and development) from 1995 to 1998.

Principal investigator in the PLanCompS (Programming Language Components and Specifications) project, funded by EPSRC from 2011 to 2016, and continuing as an international collaboration at https://plancomps.github.io.