##
J.M.E. Hyland

###
Professor in Mathematical Logic

### Contact details

Address: DPMMS, CMS, Wilberforce Road, Cambridge CB3 0WB

Office: C1.11

Phone: (+44 -1223) (3)37986

Email: `
M.Hyland@dpmms.cam.ac.uk`

##
Education

###
Underground Mathematics

Underground
Mathematics, formerly the Cambridge Mathematics Education Project,
provides rich resources for teachers of A-level Mathematics
and similar courses. The aim is to encourage mathematical
understanding. The project is funded by the DfE. Lynne McClure and I are
co-PIs of the project.
###
University Lecturing

I have taught in the Faculty of Mathematics at the University
of Cambridge since 1976.
My teaching page contains
material for some of the
undergraduate courses which I have taught. It badly needs updating.
I hope in due course to make available some material from
Masters (Part III) courses which I have taught.
###
The Mathematical Tripos

In 2009 The University of Cambridge officially celebrated its 800
year anniversary. I am not sure of the historical basis for that:
fund-raising
is in any case ongoing. I was asked to write an article for a celebratory
book. Here is a version of that.
I thought a lot about the Mathematical Tripos, Cambridge's oldest examination,
when preparing the piece. Examinations are in any case problematic
and the history of the Tripos through the 19th Century is certainly
stranger than there was space to describe. I hope one day to say more
about the role played by the Tripos in the national consciousness
as well as in the mathematical life of the UK. For now I simply
give a suggestive image.

##
Research

###
Mathematical Logic

Main areas: The Lambda Calculus, Recursion Theory, Realizability,
Proof Theory, Linear Logic, Type Theory.

I hope in due course to provide pages giving more details about
these areas.
###
Category Theory

Main areas: Categories of sheaves, Topos Theory, Categorical algebra, Operads,
Higher-dimensional Categories.

I hope in due course to provide pages giving more details abouut
these areas.
###
Theoretical Computer Science

Domain Theory, Polymorphism, Game Semantics, Full abstraction
and completeness, Computational Effects.

I hope in due course to provide pages giving more details abouut
these areas.
###
Publications

My research page gives more
information about my research, together with
links to papers and other material.

Computer Laboratory home page.

DPMMS front page.