About me

I am a mathematics student at the University of Glasgow. My research interests are in operator algebras and formalising mathematics.

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