About me

I am a first-year PhD student at the University of Cambridge and a Student Researcher at Google DeepMind. I am also an active contributor for Project Numina and a member of the human-oriented automatic theorem proving group led by Prof. Timothy Gowers.

Since 2021, I’ve been passionate about automated theorem proving and have specialised in this field by pursuing two MSc programmes in mathematics, one in machine learning and one in mathematical logic, and by interning at OpenAI and the University of Cambridge on AI for formal 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 models 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!