Chris Isham is an Emeritus Professor and Senior Research Investigator at Imperial College, London.

website

biography (brief)

Kochen-Specker theorem

Bohr topos

Timeline of category theory and related mathematics