Andrew D. Gordon: Teaching

I supervised Paul Hankin's work towards his PhD dissertation on the semantics of objects:

• Paul Hankin A Study of Objects (1999)

I have lectured several courses, including the following at the University of Cambridge Computer Laboratory:

• Protecting Alice from Malice: Protocols, Process Calculi, Proved Programs [notes,slides] (Easter 2006)
• A calculus for cryptographic protocols (Michaelmas 2001)
• Operational Methods (Errata) (Michaelmas 1995)

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:

• Fiona Morgan Implementation of an Imperative Object Calculus (1996)
• Rupert Smith Implementing a Typed Object Calculus (1997)

I have lots of ideas for PhD projects; email me for details.