I am a Research Fellow in the Department of Computing at Imperial College London. I work within the verification of autonomous systems group led by Alessio Lomuscio on the automated verification of robotic swarm systems.

Before that I obtained my PhD on the parameterised verification of multi-agent systems in the same department under the supervision of Alessio Lomuscio.