About me

I am a mathematician. My research interests are in formalising mathematics in Lean, operator algebras, and mathematics education. See more stuff in the mathematics page.

I was a board member of the operator algebras mentor network in 2024.

Here is a training presentation on doing a PhD with ADHD I gave in January 2024.

I co-organised a course on formalising mathematics in Lean in spring 2024.