![[*]](../complex/mand2.jpg)
- current research
- complex adaptive systems and emergence
- non-von Neumann architectures
- projects
![[*]](st.jpg)
modelling and abstraction (previously)
- object orientation
- patterns
- formal methods
- projects
![[*]](../books/books.jpg){kind=small}
- 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)
![[*]](../ss3.gif){kind=small}
- University of York
- Logica
- GEC-Marconi Research
- University of Cambridge