Jeremy Butterfield is a Senior Research Fellow at Trinity College, Cambridge and a member of the Faculty of Philosophy.
website
biography (brief)
BV-BRST formalism
Kochen-Specker theorem
Timeline of category theory and related mathematics
reconstruction theorem