Professor Martin Hyland
Subject:
Pure Mathematics
Research:
Abstract mathematics (category theory in particular) applied to logic (proof theory), theoretical computer science (semantics) and higher dimensional algebra.
Webpage:
Email:
Phone:
37995 (internal)
01223 337995 (external)
01223 337995 (external)
Room:
X17
