Peter D Mosses


Current affiliations:

Swansea University

Department of Computer Science
(professor 2005–2015, emeritus since 2016)

TU Delft

Research group on Programming Languages
(visitor since 2016)

IFIP logo WG 1.3

IFIP Working Group 1.3 on Foundations of System Specification
(member 1994–2015, chair 1998–2003, emeritus member since 2015)

IFIP logo WG 2.2

IFIP Working Group 2.2 on Formal Description of Programming Concepts
(member since 1984)

IFIP logo WG 2.11

IFIP Working Group 2.11 on Program Generation
(member since 2013)


Previous affiliations:

UKCRC logo

UKCRC is an expert panel of the IET and the BCS for computing research in the UK
(member 2007–2015)

Theory Group, Swansea University

Research group on Theoretical Computer Science, Department of Computer Science, Swansea University
(member 2005–2015)

CoFI logo

CoFI: the Common Framework Initiative for algebraic specification and development
(steering committee member 1995–2005, overall coordinator 1995–98)


Science of Computer Programming
(editorial board member 2010–2015)


Higher-Order and Symbolic Computation
(advisory board member 2003–2015)


Software Tools for Technology Transfer
(advisory board member 1997–2015)


Photo of Peter D Mosses

E-mail page maintainer