Notes Coming soon
Working notes and writing on algebra, number theory, and formalisation.
Resources
Notes, CV, reading, and templates β collected in one place. Most are still in progress.
CV Coming soon
Academic CV and short biography.
Reading list Coming soon
Mathematics books and papers I am reading or recommend.
Lecture notes Coming soon
Typed notes from Imperial courses, in LaTeX.
DUT recommendation letter template β
A LaTeX template for Dalian University of Technology recommendation letters.
numbertheory.cc β
A personal number theory site showcasing work on quadratic number fields and Lean-based formal verification.