-
current research
-
complex adaptive systems and emergence
-
non-von Neumann architectures
-
projects
modelling and abstraction (previously)
-
object orientation
-
patterns
-
formal methods
-
projects
-
Non-Standard Computation
(2002-now)
-
Formal methods and Z
(1987-now)
-
Object orientation(1992-1995,
2003-now)
-
Computer security
(1986-1987, 2002-now)
-
CSP, occam, Handel-C (1987-1989, 2003)
-
Acorn User (1983-1991)
-
Astrophysics (1982-1985)
-
University of York
-
Logica
-
GEC-Marconi Research
-
University of Cambridge