معرفی
Christopher Birkbeck is a Lecturer in Pure Mathematics at the School of Engineering, Mathematics and Physics, University of East Anglia. He is a member of the Algebra, Number Theory, Logic, and Representations (ANTLR) research group. His research focuses on formalization of mathematics, number theory, and arithmetic geometry, with notable contributions to Fermat's Last Theorem formalization and overconvergent Hilbert modular forms. He is currently leading the 'Scalable theorem proving via mathematical databases' project funded by Renaissance Philanthropy (2025–2027).
His educational and professional background includes expertise in algebraic number theory and modular forms. Research interests span formal verification systems like Lean, p-adic geometry, and geometric representation theory. His work often intersects computational logic and theoretical mathematics, aiming to bridge formal proofs with advanced algebraic structures.
Key research trends include advancing formalized mathematics through theorem provers, studying geometric properties of modular forms using perfectoid spaces, and exploring p-adic Hodge theory via Fargues-Fontaine curves. His projects emphasize computational methods to enhance mathematical rigor and scalability in theorem proving.
He is actively accepting PhD students and has secured significant research funding for foundational mathematics projects. His collaborations span global institutions, reflecting his role in international mathematical communities.
