Professor in Mathematical Logic
My main research interests are in the following.
Mathematical Logic: Lambda Calculus, Recursion Theory, Realizability,
Proof Theory, Linear Logic.
Category Theory: Topos Theory, Categorical algebra, Operads,
Theoretical Computer Science: Applications of Category Theory,
Domain Theory, Polymorphism, Game Semantics.
My research page gives more
information about my research, together with
links to papers and other material.
In 2009-10, I am teaching the course Complex Analysis.
My teaching page contains
material for that and other courses which I have taught.
Computer Laboratory home page.
DPMMS front page.