Alan Mycroft: Research Interests
PhD studentships: I am always interested in proposals for PhD study, see
www.cl.cam.ac.uk/admissions/PhD
for details of how to frame a research proposal.
The remainder of this page is rather incomplete ...
My home page
The Programming Logic and Semantics Research Group
(includes PhD students)
The Cambridge Programming Research Group
(includes PhD students)
Selected publications