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)
- Safe Reinforcement Learning
- Knowledge Representation and Reasoning
- Multi-Agent 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
Organised and participated in the Great Exhibition Road Festival 2026 with our research group, showing the public how AI agents can be trained safely!
Presented Permissive Compositional Shielding at STAI CDT's Quadannual Student Seminar.
Presented Model Safety and Compression at STAI CDT's AI Sandpit 2026.
Gave a talk at SPIKE's 2026 Neuro-symbolic AI Workshop!
Created a website for our research group, Formal Methods in AI. View here!
Our new library, MASA-Safe-RL, the Multi and Single Agent (MASA) Safe Reinforcement Learning library, is now available!
Paper accepted at AAAI 26!
Paper published at Elsevier's Computers in Industry journal!
Started my PhD at Imperial College London under the supervision of Dr Francesco Belardinelli!