Affiliations
Table of Contents
Affilations with academic organisations (in reverse order of starting date).
- Programming Languages Group, TU Delft
visitor since 2016 - Computer Science Department, Swansea University
professor 2005–2015, emeritus since 2016 - IFIP WG 2.11 (Working Group on Program Generation)
member since 2013 - IFIP WG 1.3 (Working Group on Foundations of System Specification)
member 1994–2015, chair 1998–2003, emeritus member since 2015 - IFIP WG 2.2 (Working Group on Formal Description of Programming Concepts)
member since 1984, emeritus member since 2023
Previous affiliations #
- IT Center, UFPE, Recife
visiting researcher 2000 - Faculty of Mathematics, Informatics and Mechanics, University of Warsaw
visiting researcher 1999 - SRI International, Menlo Park
visiting researcher 1998–99 - CoFI (Common Framework Initiative for algebraic specification and development)
steering committee member 1995–2005, coordinator 1995–98 - BRICS Reserch Centre, Aarhus University
kernel researcher 1993–2004 - School of Informatics, University of Edinburgh
senior research fellow 1983 - Department of Computer Science, Aarhus University
visiting lecturer 1976–78, associate professor 1978–2004, head 1995–98 - Wolfson College, Oxford University
junior research fellow 1975–76 - Programming Research Group, Oxford University
postdoc 1975–76
Education #
- Wolfson College, Oxford University
graduate student 1971–75 - Programming Research Group, Oxford University
MSc 1970–71, DPhil 1971–75 - Trinity College, Oxford University
BA 1967–70, MSc 1970–71