Bas Spitters
(Contact)
Research interests
- Constructive mathematics and its foundations (type theory, formal topology, topos theory...)
- Computer mathematics (combining proving and computing in one integrated computer environment)
- Logical and categorical foundations of physics.
The ForMath project. I am responsible for WP4: formalization of exact analysis.
Publications
Talks
Videos
PCs: MAP07, CCA08, MLNL09, MLNL10, Coq-2, Coq-3, WoLLIC11, MAP11(report), ITP2012, Coq-4
Organization: PhDay'01, Constructive mathematics, types and exact real numbers, DIAMANT-day '05,
Brouwer seminar (from 2004 to 2007), MAP07,
Sheaves in Geometry and Quantum Theory, MLNL09, QPL-11, Coq-workshop 2011, MAP11.
The constructivenews-list.
DIAMANT researcher.
Previous grants: VENI `Reasoning and Computing' of the dutch science foundation NWO.
PhD-students
Eelis van der Weegen (2010-).
Russell O'Connor Incompleteness and Completeness Formalizing Logic and Analysis in Type Theory (2005-2008).
Onderwijs