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