Upcoming Talks
Progress on the Sphere Packing Formalisation Effort
Annual Meeting of the Swiss Mathematical Society | Brig, Valais, March 2026
In this talk, I will discuss progress on the attempt to formalise the solution to the sphere packing problem in 8 dimensions.
Past Talks
The Road to Formalising 8-Dimensional Sphere Packing in Lean
Formalisation of Mathematics with Interactive Theorem Provers | University of Cambridge, October 2025
Links to website and recording
In this talk, I presented my ongoing work on formalising the packing of 8-dimensional spheres in the Lean theorem prover. I discussed progress and challenges and outlined avenues for community contributions.
The Road to Formalising 8-Dimensional Sphere Packing in Lean
Graduate Student and Postdoc Seminar | Carnegie Mellon University, September 2025
Link to recording
In this talk, I presented my ongoing work on formalising the packing of 8-dimensional spheres in the Lean theorem prover. I discussed progress and challenges and outlined avenues for community contributions.
Coxeter Groups
Imperial Undergraduate Mathematics Colloquium | Imperial College London, January 2025
Link to recording
In the inaugural Spring 2025 talk of the Imperial Undergraduate Maths Colloquium, I discussed the fascinating subject of Coxeter groups. Coxeter groups are a special class of orthogonal transformations of Euclidean spaces. In my talk, I gave a very accessible overview of Coxeter groups, root systems, Coxeter graphs, and the general classification process of irreducible Coxeter groups. I also discussed the crystallographic case and the link to the classification of semi-simple Lie algebras over \(\mathbb{C}\).
Designing a Mandala Using Mathematics
Warwick-Imperial Mathematics Conference | University of Warwick, November 2024
Links to recording and Desmos tutorial
The tradition of Mandala art goes back over a millennium, tracing its origin to the Indian subcontinent. Mandalas are characterised by layers of concentric circles with various motifs. The aesthetics tend to be pleasing to the eye due to certain symmetry properties of the motifs in question. In my talk, I explained how we can go the other way round to systematically build Mandalas by picking a desired symmetry group and designing motifs by plotting functions with appropriately fine-tuned parameters. My talk was based on an article I wrote for the April 2024 issue of Mathematics Today.
Partial Fraction Decomposition and its Formalisation in Lean
Tomorrow's Mathematicians Today | Institute for Mathematics and its Applications, 2023
Link to recording
In this talk, I presented my first significant Lean formalisation project, which I worked on as part of my Summer 2022 UROP.