Academic
Research interests, education, and ongoing academic work in algebra, number theory, and formalised mathematics.
Research interests
- Algebraic number theory. Class field theory, p-adic methods, and the arithmetic of number fields.
- Formalised mathematics. Reading and writing proofs in Lean 4 / mathlib, especially in algebra and number theory.
- Mathematical physics. A developing interest in the algebraic and geometric structures behind physical theories.
Education
- 2025 – 2026
MSc Pure Mathematics
Imperial College London
Department of Mathematics.
Current coursework (8)
- Algebraic Curves
- Galois Theory
- Commutative Algebra
- Lie Algebras
- Algebraic Number Theory
- Algebra 4 (in practice, Homological Algebra)
- Formalising Mathematics
- Algebraic Geometry
- 2021 – 2025
BSc Mathematics, Dual Degree Programme
University of Leicester & Dalian University of Technology
A mathematics core supplemented with specialist modules in physics and computer science.
-
University of Leicester
-
Dalian University of Technology
-