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.

From October 2022, I've been an Acting College Lecturer and Director of Studies in Mathematics for Gonville & Caius College, Cambridge.  I am also Director of Studies for St. Edmund's College and Lucy Cavendish College (Part III of the Mathematical Tripos).

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