Research topics:

Contact:

Email:

p.d.mosses@swansea.ac.uk

Postal address:

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

Peter D Mosses

Professor Emeritus, Computer Science, Swansea University

BA, MSc, DPhil (Oxford)

News

Overview

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, favourite software, and miscellaneous links.

Meetings

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

  • FSEN 2017: 7th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, 26–28 April, 2017 (PC member)
  • Strachey100: Centenary conference celbrating the life and work of Christopher Strachey, Oxford, UK, 19 November 2016 (Invited talk: SIS, a semantics implementation system)
  • GDP70: Symposium in honour of Gordon Plotkin's 70th birthday, Edinburgh, Scotland, 9 September 2016 (Contributed talk PDF: Modular SOS for control operators)
  • Research visit: Programming Languages Group, TU Delft, The Netherlands, September 2016 – August 2017
  • Modularity'16: 15th International Conference on Modularity, Málaga, Spain, 14–17 March 2016 (Research Results Track PC member; Demonstration Track paper: Tool support for component-based semantics, with Thomas van Binsbergen and Neil Sculthorpe)

Previous meetings

 

Photo of Peter D Mosses

E-mail page maintainer