Professor Peter Mosses
Professor Emeritus (Science)
College of Science
Email: JavaScript is required to view this email address.

Areas of Expertise

  • Semantics of programming languages
  • Algebraic specification frameworks

Publications

  1. Mosses, P. Software meta-language engineering and CBS Journal of Computer Languages 50 39 48
  2. van Binsbergen, L., Mosses, P., Sculthorpe, N. Executable component-based semantics Journal of Logical and Algebraic Methods in Programming 103 184 212
  3. Bach Poulsen, C., Mosses, P. Flag-based big-step semantics Journal of Logical and Algebraic Methods in Programming 88 174 190
  4. Sculthorpe, N., Torrini, P., Mosses, P. A modular structural operational semantics for delimited continuations WoC 2015: Proceedings of the Workshop on Continuations 212 63 80
  5. Binsbergen, L., Sculthorpe, N., Mosses, P. Tool support for component-based semantics MODULARITY Companion 2016 Companion Proceedings of the 15th International Conference on Modularity 8 11

See more...

Research Groups

  • Theoretical Computer Science

    Swansea has one of the larger groups of theoretical computer scientists in the UK, with a research programme involving many international collaborators.

Key Grants and Projects

  • PLanCompS: Programming Language Components and Specifications 2011 - 2015

    PLanCompS is based at Swansea, RHUL and City, with project partner Microsoft Research Cambridge. It will establish and test the practicality of a component-based framework for the design, specification and implementation of programming languages., with Dr. Martin Churchill, Dr. Paolo Torrini, EPSRC EP/I032495/1

Career History

Start Date End Date Position Held Location
2005 Present Professor Swansea University
1978 2004 Associate Professor University of Aarhus

Administrative Responsibilities

  • Director of Research - Computer Science

    2008 - 2015

  • Web Editor - Computer Science

    2008 - 2015