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.