Affiliations
Where I've studied and worked — and who I worked with.
-
Jul 2025 – present
PhD student — Carnegie Mellon University, Pittsburgh (PA), United States ↗
Affiliated to the Department of Mathematics and the Hoskinson Center for Formal Mathematics.
Advisor
- Jeremy Avigad — Academic advisor
-
Sep 2023 – Aug 2024
Exchange student — École Polytechnique Fédérale de Lausanne, Lausanne (VD), Switzerland ↗
Spent the summer working with Maryna Viazovska on formalising sphere packing.
Advisors
- Demetrios Papageorgiou — Exchange Coordinator (Imperial College London)
- Maryna Viazovska — Project supervisor (Summer 2024)
-
Oct 2021 – Jun 2025
Undergraduate — Imperial College London, London, United Kingdom ↗
Graduated with an MSci in Mathematics with First Class Honours and the Associateship of the Royal College of Science (ARCS), and won the Best Final-Year Project award.
Advisors
- David Evans — Personal Tutor (2022–2025)
- Jeff Carlson — Personal Tutor (2021–2022)
- Bhavik Mehta — MSci project supervisor
- Kevin Buzzard — Project supervisor (Summer 2022)
- Michele Zordan — Project supervisor (Summer 2023)