About me
I am a second-year PhD student at Imperial College London part of the Formal Methods in AI Lab in the Department of Computing under the supervision of Dr. Francesco Belardinelli. I am also an aligned student with the joint Safe and Trusted AI Centre for Doctoral Training ( STAI CDT ) between Imperial College London and King's College London. My CV is enclosed here.Research
I primarily study Safe Multi-Agent Reinforcement Learning as part of my PhD. More broadly, my research interests include the following:
- Logical formalisms for Verification & Specification (including quantitative and probabilistic formalisms)
- Safe Reinforcement Learning
- Knowledge Representation and Reasoning
- Multiagent Systems and Game Theoretic Dynamics
- Neurosymbolic AI (e.g. logic & learning)
- Explainability and Interpretability
- Formal Methods
- Reactive Synthesis
- Reasoning about Actions and Automated Planning + Scheduling
- Causality
Latest news
March 2026
Gave a talk at SPIKE's 2026 Neuro-symbolic AI Workshop!
January 2026
Created a website for our research group, Formal Methods in AI. View here!
December 2025
Our new library, MASA-Safe-RL, the Multi and Single Agent (MASA) Safe Reinforcement Learning library, is now available!
November 2025
Paper accepted at AAAI 26!
August 2025
July 2025
Paper published at Elsevier's Computers in Industry journal!
January 2025
Started my PhD at Imperial College London under the supervision of Dr Francesco Belardinelli!
December 2024
Website created!