Research topics:

Courses:

  • CS-311/M61: Concepts of Programming Languages

Supervision:

Co-supervision:

Administration:

Department of Computer Science

College of Science

  • Research Committee member
  • Web Working Group member

Contact:

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
Email: p.d.mosses@swansea.ac.uk
Office: Room 507, Faraday Tower

Peter D Mosses

Professor of Computer Science

BA, MSc, DPhil (Oxford), UKCRC

News

Overview

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.

Meetings

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

  • Royal Society: Gordon Plotkin's Milner Award lecture, London, UK, 13 February 2013
  • CPHC 2013: Annual Conference, Cardiff, Wales, 25–26 March 2013
  • IFIP WG 1.3: Working Group Meeting on Foundations of System Specification, Rome, Italy, 16 March 2013 (member)
  • FoSSaCS 2013: 16th International Conference on Foundations of Software Science and Computation Structures, Rome, Italy, 18–20 March 2013 (paper: Modular Bisimulation Theory for Computations and Values, with Martin Churchill)
  • FSEN 2013: Fundamentals of Software Engineering, Tehran, Iran, 24-26 April 2013 (PC member)
  • IFIP WG 2.11: Working Group Meeting on Program Generation, Minneapolis, USA, 3–7 June 2013 (member)

  • SLS 2013: Workshop on Scalable Language Specification, Cambridge, UK, 25–27 June 2013 (co-organiser)

  • 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 Sep–4 Oct 2013 (PC member)

Previous meetings

 

Photo of Peter D Mosses

E-mail page maintainer