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


  1. Software meta-language engineering and CBS. Journal of Computer Languages 50, 39-48.
  2. & Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming 103, 184-212.
  3. & Flag-based big-step semantics. Journal of Logical and Algebraic Methods in Programming 88, 174-190.
  4. & (2016). A modular structural operational semantics for delimited continuations. Presented at WoC 2015: Proceedings of the Workshop on Continuations,, 63-80. doi:10.4204/EPTCS.212.5
  5. & (2016). Tool support for component-based semantics. Presented at MODULARITY Companion 2016 Companion Proceedings of the 15th International Conference on Modularity,, 8-11. Malaga, Spain: ACM. doi:10.1145/2892664.2893464

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