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 is driven by the long-term goal of developing fully autonomous AI systems, trained via reinforcement learning, capable of independent mathematical discovery: writing definitions, forming conjectures, and proving theorems in formal environments like Lean 4. I am especially interested in the deeper implications of these systems: studying which objective functions align well with human mathematical practice, and exploring which mathematical theories might emerge from AI trained under different objectives.

My CV, a description of my publications, and an overview of my research interests are available on this website.

Beyond AI and mathematics, I have a strong interest in physics and its connection to mathematics. Feel free to reach out if you’d like to discuss any of these topics!