Joshua Ong

I am a PhD student at Imperial College London, fortunate to be advised by Dr. Eleonora Giunchiglia. Prior to joining Imperial College London, I was a visiting researcher under the supervision of Dr. Shay Cohen and Dr. Wenda Li, and obtained a BSc in Mathematics and Statistics from the University of Edinburgh. I also collaborate closely with Dr. Pasquale Minervini.

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. 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!