Research topics:

Supervision (PhD):


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. 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):

  • SBLP 2015: XIX Brazilian Symposium on Programming Languages, Belo Horizonte, Brazil, 21–26 September 2015 (PC member)
  • LRC: Logic, Rewriting, and Concurrency – Festschrift Symposium in Honor of José Meseguer, Urbana, Illinois, USA, 23–25 September 2015 (paper: Weak bisimulation as a congruence in MSOS, with Ferdinand Vesely)
  • NWPT 2015: 27th Nordic Workshop on Programming Theory, Reykjavik, Iceland, 21–23 October 2015 (abstracts: Tool support for component-based semantics, with Thomas van Binsbergen and Neil Sculthorpe; and Using typings as types, with Casper Bach Poulsen and Neil Sculthorpe)
  • IFIP WG 2.11: Working Group Meeting on Program Generation, London, UK, 9–12 November 2015 (member)
  • Modularity 2016: 15th International Conference on Modularity, Málaga, Spain, 14–17 March 2016 (PC member)
  • Research visit: SLDE group, TU Delft, The Netherlands, April–June 2016

Previous meetings


Photo of Peter D Mosses

E-mail page maintainer