About me

I am a Research Associate at the Computer Lab of the University of Cambridge, working with Prof. Jamie Vicary. My research interests lie in the intersection of mathematics and theoretical computer science.

I am working on higher category theory using ideas from logic and dependent type theory. I am interested in applications of higher categories to topology and to the semantics of programming languages. Moreover, I am interested in the homotopy theory of higher categories, in particular the comparison of different models, and Grothendieck’s homotopy hypothesis for globular models.

I am also interested in artificial intelligence and its applications to mathematics, particularly in topology and formalisation. I believe that ideas from type theory and category theory can be leveraged to build better systems, and I am exploring how these mathematical foundations can inform the design of more efficient and principled approaches in AI.