Peter D Mosses

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

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

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)

CoFI logo

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

SCP

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

HOSC

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

STTT

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

 

Photo of Peter D Mosses

E-mail page maintainer