News

About me

My work is in safety and security assurance of cyber-physical (aka autonomous) systems, or CPSs, i.e., systems characterised by computing devices that monitor and control physical processes. CPSs are found in numerous safety-critical domains like avionics, autonomous vehicles, and biomedical devices, domains where system errors can have fatal consequences. My research aims to develop formal analysis methods (verification, control, and synthesis) to design CPSs that are provably correct, with an emphasis on biomedical applications. With CPSs increasingly incorporating AI/ML components for e.g., sensing, control and model predictions, my work also focuses on data-driven verification of CPSs, whereby formal analysis and principled learning methods come together to provide correctness guarantees for such systems by fully taking into account their uncertainty and (potential) brittleness.

Check out some of my work on predictive monitoring of CPSs, robustness analysis of Bayesian neural networks, and synthesis of stealthy attacks on implantable cardiac devices.

I'm a Senior Lecturer (roughly equivalent to US associate professor) at the Department of Informatics at King's College London. In 2018 to 2022, I have been a Lecturer at the Department of Computer Science at Royal Holloway, University of London. Previously, I was a post-doc in the Department of Computer Science, Stony Brook University, working within the CyberCardia project. Prior to that, I was a post-doc in the Department of Computer Science, Oxford University, funded by the VERIWARE project. In 2013, I spent a 3-month internship in the Biological Computation Group, Microsoft Research Cambridge. I obtained a Ph.D. in Information Sciences and Complex Systems from Università di Camerino.

See also:  Research  |  Publications  |  Curriculum Vitae  |  Researchgate  |  Google Scholar  |  DBLP  |  LinkedIn

Timeline

  • 2011-2014
  • 2013
  • 2014-2016
  • 2016-2018
  • 2018-2022
  • 2022-*

Ph.D. Candidate

in Information Sciences and Complex Systems,
Università di Camerino, IT

Intern

Biological Computation Group,
Microsoft Research Cambridge, UK

Research Assistant

Department of Computer Science,
University of Oxford, UK

Postdoctoral associate

Department of Computer Science,
Stony Brook University, USA

Lecturer

Department of Computer Science,
Royal Holloway, University of London, UK

Senior Lecturer

Department of Informatics,
King's College London, UK