I am a Researcher working within the Department of Computing,
Imperial College London
. My research concerns the logic-based
verification of learning-enabled cyber-physical systems for the purposes of
the DARPA Assured
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.