About me

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

I am a board member of the operator algebras mentor network.

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.