About me
I am a first-year PhD student at Imperial College London, under the supervision of Dr. Francesco Belardinelli, part of the Formal Methods in AI Lab. 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
Loading news...