skip to content

Department of Pure Mathematics and Mathematical Statistics

Research Interests: Category theory and its applications in logic and computer science - including topos theory, type theory and homotopy type theory, realizability, and game semantics.

Room

C0.07

Telephone

01223 765896
01223 765914