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.

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 shall also be Director of Studies (Part III) for St. Edmund's College starting October 2023.