I supervised Paul Hankin's work towards his PhD dissertation on the semantics of objects:
I have lectured several courses, including the following at the University of Cambridge Computer Laboratory:
I have lots of ideas for final year projects, based on my research interests; email me for details. Here are the dissertations from a couple of projects I supervised on object calculi:
I have lots of ideas for PhD projects; email me for details.