Bas Spitters

(Contact)
Research interests
- Constructive mathematics and Proof theory
- Computer mathematics (combining proving and computing in one integrated computer environment)
- Proof mining
- Logical and categorical foundations of quantum theory and quantum computation.
- the foundations of those (type theory, formal topology, topos theory...).
My publications
Slides of some of my talks
Upcoming and past events:
2008
DIAMANT researcher.
Previous grants: VENI `Reasoning and Computing' of the dutch science foundation NWO.