Prof J.M.E. Hyland

Title: Head of Department and Professor in Mathematical Logic College: King's College Email: M.Hyland@dpmms Room: C1.02 Tel: +44 1223 3 37995 Personal Home Page Lookup Prof J.M.E. Hyland in university directory Research Interests: Abstract mathematics (category theory in particular) applied to logic (proof theory), theoretical computer science (semantics) and higher dimensional algebra.