Welcome to DDV-LAB!
The DDV-Lab (Data-Driven Verification Lab) is based in the Department of Informatics at King’s College London and is led by Dr Nicola Paoletti. We work at the intersection of formal methods, AI safety, and machine learning, with the goal of building safe, secure, and trustworthy learning-enabled systems.
Our Research
Our research is about developing principled guarantees for decision-making under uncertainty , by combining techniques from verification, logic, and control with statistical learning and uncertainty quantification. Our work is motivated by applications in autonomous and cyber-physical systems, healthcare and medical devices, and other safety-critical domains, where providing rigorous guarantees is crucial.
By “data-driven verification”, we mean that we study not just how to verify data-driven systems but also how data-driven techniques can support or accelerate the verification of complex systems.
News
October 2024Viktoria Novikova, PhD candidate, joins the research group. Welcome Viktoria!
October 2024Basak Kocaoglu, PhD candidate, joins the research group. Welcome Basak!
February 2024Edoardo Pona, PhD candidate, joins the research group. Welcome Edoardo!