About me

I am a first-year PhD student at the University of Cambridge, supervised by Prof. Mateja Jamnik. I previously pursued two MSc programmes in mathematics, specialising in machine learning and mathematical logic.

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. I also contribute to the human-oriented automatic theorem proving group led by Prof. Timothy Gowers.

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!