About me
I am a first-year PhD student at Imperial College London, 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
My research interests include the following:- Logical formalisms for Verification & Specification
- Safe Reinforcement Learning
- Knowledge Representation and Reasoning
- Formal methods
- Reactive Synthesis
- Reasoning about Actions and Automated Planning + Scheduling
- Multiagent Systems and Game Theoretic Dynamics
- Neurosymbolic AI (e.g. logic & learning)
- Explainability and Interpretability
- Causality
Latest news
Loading news...