Professor in Mathematical Logic, Department of Pure Mathematics and Mathematical Sciences, University of Cambridge
Professor Martin Hyland is Professor in Mathematical Logic in the Department of Pure Mathematics and Mathematical Sciences at the University of Cambridge. He is the former Head of Department.
His main research interests include: Mathematical Logic (Lambda Calculus, Recursion Theory, Realizability, Proof Theory, Linear Logic), Category Theory (Topos Theory, Categorical algebra, Operads, Higher-dimensional Categories) and Theoretical Computer Science (Applications of Category Theory, Domain Theory, Polymorphism, and Game Semantics). Professor Hyland is well known for his work in these areas, especially for his work on the effective topos (within topos theory) and on game semantics.