Peter D Mosses

Affiliations

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

Theory Group

Research group on Algebraic and Logical Design Methods, Department of Computer Science, Swansea University
(member since 2005)

WG 1.3

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

WG 2.2

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

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

SCP

Science of Computer Programming
(editorial board member since 2010)

HOSC

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

STTT

Software Tools for Technology Transfer
(advisory board member since 1997)

AMAST

AMAST Series in Computing
(advisory board member since 1993)