Past Member
Bas Spitters
Funding provided by the Fund for Mathematics
From
–
Bas Spitters’s research interests are in the use of logic, type theory, and topos theory, in analysis and topology. He applies these methods to the formalization of mathematics and the foundations of quantum physics.
Dates at IAS
Member
School of Mathematics
–
Spring
Degrees
University of Nijmegen
Ph.D.
2003