Jump to Navigation

Professor Martin Hyland

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.
Email: 
Phone: 
37995 (internal)
01223 337995 (external)
Room: 
X17