Professor in *Mathematical Foundations of Computer Science*,

Computer Laboratory,
University of Cambridge

Fellow of
Christ's College

- Interests: Mathematical models of computation; denotational and operational semantics of programming languages and interactive systems; type systems and program logics for functional and concurrent computation; applications of category theory to computer science.
- Book:
- Axiomatic Domain Theory in Categories of Partial Maps. Cambridge University Press, Distinguished Dissertations in Computer Science, 1996.
- Papers and talks:
- Latest
- Collection
- Rough Notes.

- Undergraduate:

- Postgraduate: