Skip to main content
University of Oxford Department of Computer Science
Marta Kwiatkowska - Talks & Tutorials
Invited lectures
“Probabilistic model checking for the data-rich world.” Lovelace Lecture , on-line event, May 2021.
"Probabilistic model checking for strategic equilibria-based decision making" [Slides]. Invited talk at the Indian Conference on Logic and its Application, (ICLA 2021 ), on-line event, March 2021.
"Probabilistic Model Checking for Strategic Equilibria-Based Decision Making " [Video]. Invited talk at Conference on Principles of Knowledge Representation and Reasoning, (KR 2020 ), on-line event, September 2020.
"Safety and Robustness for Deep Learning with Provable Guarantees". Keynote at IEEE/ACM International Conference on Automated Software Engineering, (ASE 2020 ), on-line event, September 2020.
"Probabilistic Verification and Synthesis for Reliable Molecular Circuit Designs". Plenary Speaker at DNA Computing and Molecular Programming Conference, (DNA26 ), on-line event, September 2020.
"When to Trust a Self-Driving Car... " [Video]. Distinguished seminar at The National Academy of Sciences, India (NASI ), on-line, July 2020.
"Safety Verification for Deep Neural Networks with Provable Guarantees " [Slides]. Read an interview here . Keynote at European Congress on Embedded Real Time Systems, (ERTS 2020 ), Toulouse, France, January 2020.
"When to Trust a Self-Driving Car... " [Video]. Turku Centre for Computer Science (TUCS ). Distinguished lecture, August 2019.
"Safety and Robustness for Deep Learning with Provable Guarantees " [Slides in pdf]. For video please see here .
Keynote at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (ESEC/FSE 2019 ), Tallinn, Estonia, August 2019.
"Safety Verification for Deep Neural Networks with Provable Guarantees "[Paper]. Keynote at International Conference on Concurrency Theory, (CONCUR 2019 ), Amsterdam, August, 2019.
"Safety Verification for Deep Neural Networks with Provable Guarantees". Keynote at Perspectives of System Informatics, (PSI 2019 ), Novosibirsk, Russia, July 2019.
"Versatile Quantitative Modelling: Verification, Synthesis and Data Inference for Cyber-Physical Systems". Keynote at the International Conference on Distributed Computing Techniques. (DisCoTeC'19 ), Copenhagen, June 2019.
Annual Morley Distinguished Seminar "When to Trust a Self-Driving Car...". University of Reading, November 2018.
"Safety Verification for Deep Neural Networks " [Video].
Keynote at IEEE Conference on Software Testing, Validation and Verification, (ICST 2018 ), Vasteras, Sweden, April 2018.
"Safety Verification of Deep Neural Networks " [Slides in pdf]. For video see here .
Keynote at CAV'17 , Heidelberg, July 2017.
"When to Trust a Robot... " [Video]. Talk at the Hay Festival 2017.
Interview at the SAI 2016 conference is here .
" Probabilistic Model
Checking with PRISM: Past, Present & Future " [Slides in pdf]
Lecture given at the Haifa Verification Conference , IBM Haifa, 14-17th November 2016, in connection with PRISM creators receiving the HVC 2016 Award .
"Model Checking and Strategy Synthesis for Mobile Autonomy: from Theory to Practice " [Slides and video]
Invited lecture at the Uncertainty in Computation Workshop, Simons Institute, 4-7th October 2016.
"Safety and Trust for Mobile Autonomy " [Youtube]
Invited lecture at Intellisys'16 , London, 21-22 September 2016.
"Model Checking and Strategy Synthesis for Mobile Autonomy: from Theory to Practice " [Slides, PDF file]
Invited lecture at ICALP'16 , Rome, Italy, 15th July 2016.
"Model Checking and Strategy Synthesis for Mobile Autonomy: from Theory to Practice " [Slides, PDF file]
Semi-plenary lecture at ECC'16 , Aalborg, Denmark, 29th June 2016.
"Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices " [Slides, PDF file]
Keynote lecture at CMSB'15 , Nantes, France, September 2015.
"On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets " [Slides, PDF file]
Keynote lecture at Petri Nets 2015//ACSD 2015 , Brussels, June 2015.
"Parameter Synthesis for Probabilistic Real-Time Systems " [Slides, PDF file]
Keynote lecture at SynCoP'15 , ETAPS, London, April 2015.
"Sensing Everywhere: on Quantitative Verification for Ubiquitous Computing " [Youtube]
ACCESS Distinguished Lecture given at KTH in Stockholm, November 2014, based on my 2012 Milner lecture ,
University of Edinburgh, September 2012.
"Sensing Everywhere: on Quantitative Verification for Ubiquitous Computing " [Slides, PDF file]
Lecture given at the 10th European Computer Science Summit (ECSS 2014 ) in Wroclaw, Poland, October 2014, based on my 2012 Milner lecture ,
University of Edinburgh, September 2012.
"On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers " [Slides, PDF file]
Keynote lecture at the Medical Cyber-Physical Systems Track of ISOLA 2014 , Corfu, Greece, October 2014.
"Sensing Everywhere: on Quantitative Verification for Ubiquitous Computing " [Slides, PDF file]
2012 Milner lecture ,
University of Edinburgh, September 2012.
"Automated Verification and Strategy Synthesis for Probabilistic Systems " [Slides, PDF file]
Keynote lecture at ATVA'13 , Hanoi, Vietnam, October 2013.
"Advances in Quantitative Verification for Ubiquitous Computing " [Slides, PDF file]
Keynote lecture at ICTAC'13 , Shanghai, September 2013.
"Model Repair for Markov Decision Processes " [Slides, PDF file]
Keynote lecture at TASE'13 , Birmingham, July 2013.
"Sensing Everywhere: Towards Safer and More Reliable Sensor-enabled Devices " [Slides, PDF file]
Keynote lecture at SAFECOMP'12 , Magdeburg, Germany, September 2012.
"Automated Learning of Probabilistic Assumptions for Compositional Reasoning " [Slides, PDF file]
Invited talk given at the International Conference on Fundamental Approaches to Software Enginering (FASE'11), part of
ETAPS , Saarbrucken, Germany, April 2011.
"A Framework for Verification of Software with Time and Probabilities " [Slides, PDF file]
Invited talk given at the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), IST, Austria, September 2010.
Linnaeus Center ACCESS Distinguished Lecture ,
KTH, Stockholm, January 2010.
"On Quantitative Software Verification " [Slides, PDF file]
Invited talk given at the 16th International SPIN Workshop,
SPIN 2009 , Grenoble, France, June 2009.
"Quantitative Verification: Models, Techniques and Tools " [Slides, PDF file]
Invited talk given at the 6th joint meeting of
the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering,
ESEC/FSE 2007 , Cavtat, Croatia, September 2007.
"Simulation and Verification for Computational Modelling of Signalling Pathways " [Slides, PDF
file]
A talk given at Algorithmic Bioprocesses 2007 ,
Leiden, December 2007.
"Model Checking for Probability and Time: From Theory to Practice " [Slides, PDF file]
Invited talk at LICS'03, Ottawa, June 2003.
"The Hopes and Hurdles of Automatic Verification " [Slides, large PDF file)
My inaugural lecture, 17 October 2002.
Tutorials
"Safety Verification for Deep Neural Networks with Provable Guarantees " [Abstract]. Invited tutorial at the International Conference on Reachability Problems (RP 2018 ), Marseille, September 2018.
Invited tutorial at Nokia Bell Labs , 14th March 2018.
Tutorial on Probabilistic Model Checking with PRISM at IMT, Lucca , 3-5th May 2016, see here .
Tutorial on Probabilistic Verification and Synthesis at KTH Royal Institute of Technology , Stockholm, 24-28th August 2015, see here .
Tutorial on Probabilistic Model Checking with PRISM at Gran Sasso Science Institute , 2-4th June 2015, see here .
Tutorial on Probabilistic Model Checking at POPL 2015 , Mumbai, 13th January 2015, see here [Slides, PDF file].
Invited tutorial, 4th Summer School on Formal Techniques in Atherton California, 2014, see here for resources.
Invited tutorial, ATVA 2013 , Hanoi, Vietnam, October 2013, see here [Slides, PDF file].
Invited tutorial, Marktoberdorf 2013 Summer School .
PhD Open Probabilistic Model Checking , University of Warsaw, April-May 2013.
Invited tutorial, MOVEP 2012 School , Marseille, December 2012.
Invited tutorial, ROCKS Autumn School , October 2012.
Invited tutorial, Marktoberdorf 2011 Summer School , see "here ".
Tutorial, SFM11-CONNECT Summer School , Bertinoro.
Invited tutorial, Summer School Summer School on Model Checking , Beijing.
Invited tutorial, Advanced Course on Petri Nets , Rostock.
Invited tutorial, Summer School 2010: Verification Technology, Systems & Applications , Luxemburg
Invited tutorial, ESSLLI 2010 European Summer School of Logic, Language and Information, Copenhagen.
Invited tutorial, ARTIST2 Summer School 2008 in Europe , Grenoble.
Invited tutorial, BISS 2007:
Bertinoro International Spring School
for Graduate Studies in Computer Science , Bertinoro.
Invited tutorial, 7th Edition in the series of Schools on Formal Methods (SFM) SFM-07:PE , Bertinoro.