Professor in Mathematical Foundations of Computer Science,
University of Cambridge
Mathematical models of computation;
denotational and operational semantics of programming languages and
type systems and program logics for functional and concurrent
applications of category theory to computer science.
- Papers and talks: