Skip to main content


2018 Milner Award Lecture by Marta Kwiatkowska
When to trust an autonomous car …

Computing devices support us in almost all everyday tasks, from mobile phones and online banking to wearable and implantable medical devices. We are now experimenting with self–driving cars and robots. Since embedded software at the heart of these devices must behave correctly in presence of uncertainty, probabilistic verification techniques have been developed to guarantee their safety, reliability and resource efficiency.

If you are a member of the Department of Computer Science and want to see your video listed here please contact