David Barth
Research student
University of Cambridge
Research Group
Developing rigorous mathematics and dependable computational methods for discovery, prediction, and proof.
Research context
Mathematics, computation, and proof
Our research spans pure and computational mathematics, including spectral theory and computability, rigorous numerical methods and computer-assisted proofs, Koopman operator theory, optimization and inverse problems, and AI for mathematics.
Across these areas, we combine mathematical foundations with practical algorithms: proving what can be computed, designing methods with rigorous guarantees, and using computation as a tool for discovery and proof.
Prospective students Interested in joining the group? Email me to discuss possible projects.
People
Students
Current and incoming research students.
