Professor Martin Hyland

Martin Hyland

Title: 

Professor

First names: 

Martin

Surname: 

Hyland

Subject: 

Pure Mathematics

Research: 

Abstract mathematics (category theory in particular) applied to logic (proof theory), theoretical computer science (semantics) and higher dimensional algebra.

Phone: 

<p>37995 (internal)<br /> 01223 337995 (external)</p>

Room: 

X17