Research topics:
- Component-based specification of programming languages
- Algebraic specification frameworks
Courses:
Supervision:
- Mark J New (PhD student)
- Casper B Poulsen (PhD student)
- Ferdinand Vesely (PhD student)
Co-supervision:
- Kevin Flanagan (PhD student, Arts and Humanities)
Administration:
Department of Computer Science
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
News
- PLanCompS (Programming Language Components and Specifications) is a 4-year joint research project based at Swansea, RHUL and City, funded by EPSRC, with project partner Microsoft Research Cambridge, 2011–2015.
- I have joined the Editorial Board of the journal Science of Computer Programming.
- A paper on An Agile Approach to Language Modelling and Development, written with Adrian Johnstone and Elizabeth Scott (RHUL), presents our component-based approach, and discusses the relationship between its inherent agility and the practices and principles of Agile Modelling in software development.
- My festschrift Semantics and Algebraic Specification, edited by Jens Palsberg, with contributions by many international colleagues and former students, is published by Springer as LNCS 5700:
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):
- 14th Wessex Theory Seminar, University of Bath, UK, 23 May 2012
- MFPS 2012: 28th Conference on the Mathematical Foundations of Programming Semantics, University of Bath, UK, 6–9 Jun 2012
- CWI Lectures on Understanding Software, CWI, Amsterdam, The Netherlands, 14 Jun 2012
- Eindhoven University of Technology, The Netherlands, 15 Jun 2012 (PLanCompS collaboration)
- IFIP WG 2.11: Working Group Meeting on Program Generation, Halmstad, Sweden, 25–27 Jun 2012 (observer, presentation)
- SSLF12: Summer School on Language Frameworks, Sinaia, Romania, 23–31 Jul 2012 (PLanCompS presentation)
- SBLP 2012: XVI Brazilian Symposium on Programming Languages, São Paulo, Brazil, 23–28 Sep 2012 (PC member)
- SLE 2012: 5th International Conference on Software Language Engineering, Dresden, Germany, 25–28 Sep 2012 (PC member)
