people

I am a first-year PhD student at Imperial College London, fortunate to be advised by Eleonora Giunchiglia, Shay Cohen and Wenda Li, and am currently a visiting researcher at the Institute of Foundation Models, part of the Mohamed bin Zayed University of Artificial Intelligence (MBZUAI). Prior to joining Imperial College London, I was a visiting researcher at the University of Edinburgh, where I also obtained my BSc in Mathematics and Statistics.

My research focuses on Large Language Model (LLM) Reasoning and theorem proving, with a particular interest in understanding and improving the mathematical reasoning capabilities of LLMs. Currently, my interests lie in generating verifiable synthetic data for LLMs [1], and training reasoning models for both formal and informal mathematics [2]. I am also part of the AI for Math Grant, where our main focus lies in advancing theorem proving autoformalisation within LLMs.

PhD and Master’s applications and stepping into research can be overwhelming. As such, I’d love to dedicate time to helping anyone who wants to chat or seek advice about the process. Feel free to reach out if you’d like to discuss research, explore collaboration opportunities, or just talk through your questions, I’m more than happy to help!

I am actively looking for internship opportunities for 2026. Feel free to reach out to me if there are any interesting or suitable positions!

I am a first-year PhD student at Imperial College London, fortunate to be advised by Eleonora Giunchiglia, Shay Cohen and Wenda Li, and am currently a visiting researcher at the Institute of Foundation Models, part of the Mohamed bin Zayed University of Artificial Intelligence (MBZUAI). Prior to joining Imperial College London, I was a visiting researcher at the University of Edinburgh, where I also obtained my BSc in Mathematics and Statistics.

My research focuses on Large Language Model (LLM) Reasoning and theorem proving, with a particular interest in understanding and improving the mathematical reasoning capabilities of LLMs. Currently, my interests lie in generating verifiable synthetic data for LLMs [1], and training reasoning models for both formal and informal mathematics [2]. I am also part of the AI for Math Grant, where our main focus lies in advancing theorem proving autoformalisation within LLMs.

PhD and Master’s applications and stepping into research can be overwhelming. As such, I’d love to dedicate time to helping anyone who wants to chat or seek advice about the process. Feel free to reach out if you’d like to discuss research, explore collaboration opportunities, or just talk through your questions, I’m more than happy to help!

I am actively looking for internship opportunities for 2026. Feel free to reach out to me if there are any interesting or suitable positions!