About me

I am a first-year PhD student at the University of Cambridge, supervised by Prof. Mateja Jamnik. I am a researcher for Project Numina and a member of the human-oriented automatic theorem proving group led by Prof. Timothy Gowers.

I previously pursued two MSc programmes in mathematics, specialising in machine learning and mathematical logic, and interned at OpenAI and the University of Cambridge on AI for mathematics.

My main professional goal is to contribute to research aimed at mastering mathematics with AI systems. My research focuses on formal mathematical reasoning, using language modelling and reinforcement learning.

My CV and a description of my publications are available on this website.

Beyond AI and mathematical logic, 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!