I'm a mathematician specialised in Category Theory, particularly Categorical Logic and its connections to Set Theory and nonstandard proof methods (in the sense of nonstandard analysis and internal set theory). My main research interests lie in topos theory, tripos theory, constructive mathematics, category theory, and the foundations of mathematics at large. More recently, I've been concerned with the connections between Logic and Geometry, and categorical models of Linear Logic.

I completed my PhD in 2022 in the Department of Pure Mathematics and Mathematical Statistics, University of Cambridge. My supervisor was Professor Peter T. Johnstone.

I am currently a Director of Studies in Mathematics for Wolfson College and St Edmund's College, as well as an Associate Tutor for St Edmund's.

-------
Psst, while you are here, you should check out the great work being done @Women in Logic!
-------