Ernst Specker is a retired professor of mathematics at ETH-Zürich.
website
biography (detailed)
biography (brief)
Kochen-Specker theorem
Timeline of category theory and related mathematics
constructive mathematics