Past PhD students
- Mark Ryan
- Christopher Townsend
- Gillian Hill: thesis; see also "Presheaves as Configured Specifications", "A language for configuring multi-level specifications."
- Kostas Viglas
If you are interested in studying for a PhD with me, please see my Research page