• Exposition of various linear-algebraic topics relevant to theoretical computer science
  • A Part III essay on Babai's result that graph isomorphism can be tested in quasipolynomial time, with some relevant background material. Currently it's pretty messy, hope to fix it soon!
Course materials
  • Lecture notes, example sheets, example classes and solutions from part III of the mathematical tripos at Cambridge during 2015/2016
Olympiad stuff
  • My undergraduate thesis on explicit constructions of expander families with the stronger uniformity condition of being lifts of one another