Simon Kochen is Professor and Associate Chair in the Department of Mathematics at Princeton University.
Kochen-Specker theorem
Timeline of category theory and related mathematics