Professor Peter Mosses

Professor Emeritus (Science)

College of Science

Email: JavaScript is required to view this email address.

Personal home page

Print this profile

Areas of Expertise

Churchill, M., Mosses, P., Sculthorpe, N. & Torrini, P. (2015) Reusable Components of Semantic Specifications. In Transactions on Aspect-Oriented Software Development XII. (pp. 132-179). Springer.
https://cronfa.swan.ac.uk/Record/cronfa20729
Binsbergen, L., Sculthorpe, N. & Mosses, P. (2016). Tool support for component-based semantics. Presented at MODULARITY Companion 2016 Companion Proceedings of the 15th International Conference on Modularity,, 8-11. Malaga, Spain: ACM. doi:10.1145/2892664.2893464
https://cronfa.swan.ac.uk/Record/cronfa26941
Bach Poulsen, C. & Mosses, P. (2016). Flag-based big-step semantics. Journal of Logical and Algebraic Methods in Programming
https://cronfa.swan.ac.uk/Record/cronfa28828 doi:10.1016/j.jlamp.2016.05.001
Bach Poulsen, C. & Mosses, P. (2014). Generating Specialized Interpreters for Modular Structural Operational Semantics. Presented at Logic-Based Program Synthesis and Transformation,, 220-236. doi:10.1007/978-3-319-14125-1_13
https://cronfa.swan.ac.uk/Record/cronfa20845
Churchill, M., Mosses, P. & Torrini, P. (2014). Reusable Components of Semantic Specifications. Presented at Modularity '14,, 145-156. New York: ACM. doi:10.1145/2577080.2577099
https://cronfa.swan.ac.uk/Record/cronfa17943

Theoretical Computer Science

Swansea has one of the larger groups of theoretical computer scientists in the UK, with a research programme involving many international collaborators.

PLanCompS: Programming Language Components and Specifications 2011 - 2015

PLanCompS is based at Swansea, RHUL and City, with project partner Microsoft Research Cambridge. It will establish and test the practicality of a component-based framework for the design, specification and implementation of programming languages., with Dr. Martin Churchill, Dr. Paolo Torrini, EPSRC EP/I032495/1

Start Date	End Date	Position Held	Location
2005	Present	Professor	Swansea University
1978	2004	Associate Professor	University of Aarhus