About me

I am a PhD student at the University of Cambridge, supervised by Prof. Mateja Jamnik and Prof. Timothy Gowers, and a Student Researcher at Google DeepMind.

My research explores how large language models can learn to reason through reinforcement learning and make discoveries autonomously. I investigate these questions through applications to informal and formal mathematics, which I see as a rich testing ground for developing general methods for AI reasoning. My work spans pre-training, post-training, and agentic systems.

I have long been passionate about mathematics and have spent several years studying pure mathematics. I am particularly interested in the foundations and architecture of mathematics, its structures and unifying frameworks, and its fundamental limits.

My CV, publications, and further details about my research interests are available on this website.