About Me

I am a fourth year PhD student in the University of Manchester’s category theory group studying category theory and its relation to logic, supervised by Nicola Gambino. I have submitted my thesis.

My research centres around topics in internal category theory, categorical logic, $2$-topos theory, type theory, homotopy thoery and the intersection of these things.

I am the maintainer of the University of Manchester’s Category Theory Group website.

I completed an MMath in Mathematics at the university of Sheffield in 2022. My MMath project was on the Dold-Kan correspondence, supervised by Prof. Sarah Whitehouse.