Education

Incoming postgraduate student in Mathematics and Foundations of Computer Science. I plan to use the programme to develop from a proof-based mathematics background towards the mathematical foundations of computer science, especially formal verification, programming languages, proof assistants, type theory, quantum computation, and quantum information. Programme details can be found here.

Completed undergraduate study in Mathematics with First Class Honours-level performance. Entered through the Direct Entry route and achieved strong results across proof-based mathematics, analysis, computational mathematics, statistics, optimisation, and mathematical modelling. My final-year project, supervised by Professor Jim Wright, studied Diophantine approximation through continued fractions, Liouville's theorem, Thue's theorem, Pell equations, binary forms, and Dirichlet's Unit Theorem. Programme details can be found here.

Completed A-Level study alongside my secondary education in China, achieving A* A* A* in Mathematics, Further Mathematics, and Physics. This experience strengthened my foundation in mathematics and prepared me for further study in a rigorous academic environment. Information about Pennon Education can be found here.

Completed my secondary education within China's national curriculum as a science-track student. Built a strong foundation in mathematics through rigorous coursework and intensive training, while also participating in mathematics competitions, including provincial-level Olympiad-related contests and the Euclid Mathematics Contest. More information about the school can be found here.