Welcome to my website!
I'm currently doing my Master's in Computing and Maths at the University of Glasgow. I'm looking to start a PhD from next year. My research interests are in the fields of category theory and type theory.
Please use the navbar for navigation. Don't click the button below, it will install malware on your device.