PhD student · Department of Mathematics · University of Exeter
click for another ↻
About
I am a PhD candidate in Mathematics at the University of Exeter, supervised by
Christopher Lazda.
My research interest lies in arithmetic geometry, the intersection of algebraic geometry and number theory.
In particular, I am interested in good reduction problems and the arithmetic of K3 surfaces,
such as the Brauer–Manin obstruction.
Prior to my PhD, I obtained my MSci in Mathematics from Imperial College London. My master project is supervised by Alexei Skorobogatov.
Research & Publications
Good reduction of generalized Kummer surfaces In preparation
I obtained a criterion for the good reduction of generalized Kummer surfaces in the non-supersingular case,
generalizing a result of Lazda–Skorobogatov.
Extendability of group actions on K3 or Enriques surfaces Submitted
Submitted to Rendiconti del Seminario Matematico della Università di Padova. Pre-print on arXiv.
I gave a criterion for when a finite group action on a K3 or Enriques surface with good reduction extends
to a smooth model, generalizing results of Chiarellotto–Lazda–Liedtke and Matsumoto.
Applications include the good reduction of singular K3 surfaces, Enriques surfaces, and generalized Kummer surfaces.
Class Field Theory and Galois Cohomology
Master project, Imperial College London, 2023. Supervised by Alexei Skorobogatov.
I gave a purely algebraic proof to local and global class field theory.
Hilbert's axioms of Euclidean geometry in Lean
Summer research project, Imperial College London, 2021. Supervised by Kevin Buzzard.
Formalized Hilbert's axioms and a number of theorems in Euclidean geometry in Lean,
including the Crossbar theorem, congruence of triangles, and most propositions in Book I of Euclid's Elements. The codes are on Github.
Talks
Good reduction of generalized Kummer surfacesMar 2026
NTAG Seminar, University of Exeter
Good reduction of generalized Kummer surfacesFeb 2026
Junior Algebraic Geometry Warwick Seminar, University of Warwick
Extendability of group actions on K3 or Enriques surfacesSept 2025
Young Researchers in Algebraic Number Theory, University of Nottingham
Conferences & Workshops
Workshop on AI and Theorem Provers in MathematicsApr 2026
Young Researchers in Algebraic Number TheorySept 2025
University of Nottingham
Arithmetic Geometry of K3 Surfaces and Related AreasOct 2024
Imperial College London
UK Algebraic Geometry Network — Winter SchoolDec 2024