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
Autonomy Program.
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.