- 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.