Skip to main content
University of Oxford Department of Computer Science
Marta Kwiatkowska - Talks & Tutorials
Invited lectures
"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
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.