Veritas@Leiden

VeritasLab: Safe AI and Automated Reasoning

The Veritas Lab advances methods to ensure that hardware and AI systems are correct, safe, and trustworthy. Our research is concerned with using formal methods and automated reasoning to achieve trustworthy AI and safe autonomy, developing the theoretical and algorithmic foundations for rigorous reasoning about hardware circuits and neural control systems. Our primary application domains are trustworthy AI and safe autonomy, where we design certified learning methods and establish formal safety guarantees for the behaviour of AI and autonomous systems, with a particular focus on certificate-based neural control and safe reinforcement learning.

Our lab is part of the Theory cluster at the Leiden Institute of Advanced Computer Science (LIACS). We closely collaborate with other researchers within the department.

We welcome opportunities for new collaborations and supervise bachelor’s and master’s students each year. If you are interested in formal verification or trustworthy AI, please get in touch!