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
, 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.