Research


Interests

Analysis:
computable analysis, Bishop-style constructive mathematics, algorithmic aspects of continuity.
Foundations of mathematics and computer science:
exact real number computations, algorithmic proofs, computability theory, algorithmic foundations of topology (especially aspects of compactness).
Logic:
intuitionistic logic, constructive reverse mathematics, non-classical axioms, program extraction from constructive proofs.

Blog Posts