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. & Reusable Components of Semantic Specifications. In Transactions on Aspect-Oriented Software Development XII. (pp. 132-179). Springer.
  2. & (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
  3. & Flag-based big-step semantics. Journal of Logical and Algebraic Methods in Programming
  4. & (2014). Generating Specialized Interpreters for Modular Structural Operational Semantics. Presented at Logic-Based Program Synthesis and Transformation,, 220-236. doi:10.1007/978-3-319-14125-1_13
  5. & (2014). Reusable Components of Semantic Specifications. Presented at Modularity '14,, 145-156. New York: ACM. doi:10.1145/2577080.2577099

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