Peter D Mosses

Affiliations

Current affiliations:

Swansea University

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

TU Delft

Research group on Programming Languages
(visitor since 2016)

WG 1.3

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

WG 2.2

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

WG 2.11

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

 

Previous affiliations:

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: 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)