I am acting as Verification Lead at Safe Intelligence and working as a
Research Fellow within the
Department of Computing,
Imperial College London. My research, funded by the
DARPA Assured
Autonomy Program., concerns the formal
verification of neuro-symbolic multi-agent systems.
Previously I worked on the formal verification of the communication
protocols driving the H2020 FET project
VISORSURF.
Before that I was a Research Fellow at the
Department of Computing, Imperial College London, where I put forward
parameterised verification techniques for robot swarms.
Prior to that I was a PhD student at the same department where I
developed parameterised verification techniques for multiagent systems.