Steve Vickers: PhD students
Past PhD students
- Mark Ryan
- Christopher Townsend
- Alan Morrison (MSc)
- Gillian Hill: thesis; see also "Presheaves as Configured Specifications", "A language for configuring multi-level specifications."
- Kostas Viglas
- Guillaume Raynaud
- Sina Hazratpour
- Ming Ng
Since 2018 I have been retired. Though in principle I can continue to supervise PhD students, you would be unlikely to get funding from the university. Research page