Research topics:


  • CS-311/M61: Concepts of Programming Languages

Supervision (PhD):



Department of Computer Science

College of Science

  • Research Committee member
  • Web Working Group member


Postal address:

Dept of Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP
United Kingdom

Phone: +44(0)1792 602249
Fax: +44(0)1792 295708
Office: Room 507, Faraday Tower

Peter D Mosses

Professor of Computer Science

BA, MSc, DPhil (Oxford), UKCRC



The grey box on the right gives a summary of my main research topics, teaching and administrative responsibilities. Further pages list my current affiliations, research interests and publications, future and past meetings, current teaching, favourite software, and miscellaneous links.


Recent and forthcoming meetings in which I'm involved (in chronological order):

  • SLS 2013: Workshop on Scalable Language Specification, Cambridge, UK, 25–27 June 2013 (co-organiser, PLanCompS presentation, coauthor)
  • CONCUR 2013: 24th International Conference on Concurrency Theory, Buenos Aires, Argentina, 27–30 August 2013 (paper: Modular Semantics for Transition System Specifications with Negative Premises, with Martin Churchill and Mohammad Reza Mousavi)
  • PPDP 2013: 15th International Symposium on Principles and Practice of Declarative Programming, Madrid, Spain, 16–18 September 2013
  • LOPSTR 2013: 23rd International Symposium on Logic-Based Program Synthesis and Transformation, Madrid, Spain, 16–18 September 2013 (paper: Generating Specialized Interpreters for Modular Structural Operational Semantics, with Casper Bach Poulsen)
  • IFIP WG 2.2: Working Group Meeting on Formal Description of Programming Concepts, Lisbon, Portugal, 23–26 September 2013 (member)
  • SBLP 2013: XVII Brazilian Symposium on Programming Languages, Brasilia, Brazil, 29 September–4 October 2013 (PC member)
  • PLanCompS: Project Meeting, Royal Holloway, UK, 16–17 December 2013

  • ESOP'14: 23rd European Symposium on Programming, Grenoble, France, 7–11 April 2014 (paper: Deriving Pretty-Big-Step Semantics from Small-Step Semantics, with Casper Bach Poulsen)
  • MODULARITY'14: 13th International Conference on Modularity, Lugano, Switzerland, 22–25 April 2014 (paper: Reusable Components of Semantic Specifications, with Martin Churchill and Paolo Torrini)
  • PSI'14: Ershov Informatics Conference, St. Petersburg, Russia, 24–27 June 2014 (PC member)
  • SLE 2014: 7th International Conference on Software Language Engineering, Västerås, Sweden, 14–15 September 2014 (PC member)
  • SBLP 2014: XVIII Brazilian Symposium on Programming Languages, Maceio, Brazil, approx 28 September–3 October 2014 (PC member)

Previous meetings


Photo of Peter D Mosses

E-mail page maintainer