academic Research & Contributions Brownian Motion in Lean Formalising Brownian motion and stochastic integration in Lean 4. Mathlib Contributor Contributing to Lean 4's official community mathematics library. Theses MSc Thesis Towards a Formalisation of the Kakeya Conjecture in ℝ² BSc Thesis Algorithmic Problems in Group Theory Notes MSc Pure Mathematics Notes (Imperial College London) My postgraduate maths notes from Imperial College London Undergraduate Mathematics Notes (King's College London) My undergraduate maths notes from King's College London
