Professor of Computer Science
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road
Oxford, OX1 3QD, United Kingdom
Tutorial Fellow, Merton College, Oxford
Directions for Visitors
Time and Weather at Oxford.
Keywords: Semantics of Computation; Game Semantics; Verification and Higher-Order Model Checking; Lambda Calculus and Type Theory; Algorithmic Game Theory, Computational Proof Theory and Categorical Logic; Logic and Computational Complexity; Internet Routing Protocols.