Bas Spitters

Photo

Research interests

I lead the Nijmegen contribution to the ForMath project, as well as Work Package 4: formalization of exact analysis. (The project got an "excellent" mark.)
2013: Member of the Institute for Advanced Studies for the special year on univalent foundations.
Publications

Talks

Videos

PCs:

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
Egbert Rijke (2012-2013).
Eelis van der Weegen (2010-2011).
Russell O'Connor Incompleteness and Completeness Formalizing Logic and Analysis in Type Theory (2005-2008).

Onderwijs