I am a final-year PhD student and Teaching Scholar in the Department of Computing at Imperial College London. I am supervised by Alessandra Russo and Dalal Alrajeh. My research is on using machine learning to scale formal verification methods. With industry experience including an internship at Epic Games with a focus on using LLMs and VLMs for large-scale automatic data labelling and captioning for content moderation and search, I am experienced in both academic research and industrial work.

Between October 2025 and January 2026, I was a Researcher at Imperial as part of the AI for Math Initiative supported by Google DeepMind and Google.org. I was also a Lecturer for Symbolic Reasoning, a 2nd year undergraduate course, between 2023 and 2026 Before Imperial, I completed an MSc in Scientific Computing and Data Analysis and a BSc in Mathematics and Physics at Durham University.

News and Updates

• September 2026: Updated website.