May 10, 2024, 10:08 a.m.

We cordially invite to a departmental seminar to be held on Tuesday 21 May at 12:30 (Institute of Computer Science, room 119).

The speaker will be Professor Marta Kwiatkowska from the University of Oxford, a world-class expert and leader in the field of computational systems verification, who will give a talk entitled:

When to trust AI: advances and challenges for certification of neural networks

Traditionally, before the lecture, starting at 12:00, the Dean invites you to coffee and cakes.


Artificial intelligence (AI) has been advancing at a fast pace and it is now poised for deployment in a wide range of applications, such as autonomous systems, medical diagnosis and natural language processing. Early adoption of AI technology for real-world applications has not been without problems, particularly for neural networks, which may be unstable and susceptible to adversarial examples. In the longer term, appropriate safety assurance techniques need to be developed to reduce potential harm due to avoidable system failures and ensure trustworthiness. Focusing on certification, this talk provides an overview of techniques that have been developed to ensure safety of AI decisions and discusses future challenges.


Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She is known for fundamental contributions to the theory and practice of model checking for probabilistic systems, and is currently focusing on safety, robustness and fairness of automated decision making in Artificial Intelligence. She led the development of the PRISM model checker (, which has been adopted in diverse fields, including wireless networks, security, robotics, healthcare and DNA computing, with genuine flaws found and corrected in real-world protocols. Her research has been supported by two ERC Advanced Grants, VERIWARE and FUN2MODEL. Kwiatkowska won the Royal Society Milner Award, the BCS Lovelace Medal and the Van Wijngaarden Award, received an honorary doctorate from KTH Royal Institute of Technology in Stockholm and a Professorship from the President of Poland. She is a Fellow of the Royal Society, Fellow of ACM and Member of Academia Europea.

Marta Kwiatkowska