Kwiatkowska's research develops models and analysis methods for complex systems, as found in computer networks, biological organisms and electronic devices.[12][13][14] Kwiatkowska led development of the PRISM probabilistic model checker;[6][15] PRISM has been downloaded over 79,000 times and there are over 400 papers by external research teams using PRISM (as at January 2021).[16][17]
Instrumental in the development of probabilistic and quantitative methods in verification on the international scene, Kwiatkowska’s recent work incorporates synthesis from quantitative specifications with a focus on safety and robustness for machine learning and AI.[6][18] A member of the Global Partnership on Artificial Intelligence (GPAI) 'Responsible AI Working Group', and the Royal Society's 'Digital Technology and the Planet Working Group', Kwiatkowska advocates responsible adoption of trustworthy AI.[19][20]
As a senior member of OxWoCS,[21] contributor to the Perspektywy Women in Tech Summit and adviser to the Suffrage Science Award (2016),[22] Kwiatkowska encourages women to pursue careers in science.
FUN2MODEL: From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning (2019–2024), a European Research Council (ERC) Advanced Grant.
Mobile Autonomy: Enabling a Pervasive Technology of the Future (2015–2021), an Engineering and Physical Sciences Research Council (EPSRC) Programme Grant (co-I).
Selected talks and lecturesedit
'Probabilistic Model Checking for the Data-Rich World' BCS 2020 Lovelace Lecture, on-line event, May 2021.
'Probabilistic Model Checking for Strategic Equilibria-Based Decision Making' Conference on Principles of Knowledge Representation and Reasoning, (KR 2020), on-line event, September 2020. '
'When to Trust a Self-Driving Car...' - Milner Award Prize Lecture, November 2018.
'When to trust a robot' – Hay Festival talk on 30 May 2017.
'Mobile Autonomous Robots' – invited lecture at IntelliSys, September 2016.
Awards and honoursedit
Fellow of the European Laboratory for Learning and Intelligent Systems (ELLIS Society), 2020.[28]
Awarded the BCS Ada Lovelace Medal for 'her research in probabilistic and quantitative verification. Since 2001 she has led the development of the highly influential probabilistic model checker PRISM', 2019.[29]
Became the first female winner of the Royal SocietyMilner Award in recognition of ‘her contribution to the theoretical and practical development of stochastic and quantitative model checking’, 2018.[30]
Jointly awarded the HVC 2016 Award for her ‘contributions to probabilistic model checking and, more generally, to formal verification’, 2016.[32]
^ abAnon (2017). "Kwiatkowskia, Prof. Marta Zofia". Who's Who (online Oxford University Press ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.U253926. (Subscription or UK public library membership required.)
^"Marta Kwiatkowska". Department of Computer Science. Retrieved 9 February 2021.
^"Department of Computer Science: Marta Kwiatkowska". Retrieved 28 May 2017.
^"Trinity College – Marta Kwiatkowska". Retrieved 4 December 2017.
^ abcKwiatkowska, Marta; Norman, Gethin; Parker, David; Sproston, Jeremy (2008), "Verification of Real-Time Probabilistic Systems", Modeling and Verification of Real-Time Systems, London, UK: ISTE, pp. 249–288, doi:10.1002/9780470611012.ch8, ISBN 978-0-470-61101-2, retrieved 9 February 2021
^"Department of Computer Science: Marta Kwiatkowska - Research Overview". cs.ox.ac.uk. Retrieved 9 February 2021.
^Kwiatkowska, Marta Zofia (1989). Fairness for non-interleaving concurrency. le.ac.uk (PhD thesis). University of Leicester. hdl:2381/8809. EThOS uk.bl.ethos.521489.
^"Prof. Marta Kwiatkowska – AcademiaNet". Retrieved 4 December 2017.
^"About the Department of Computer Science". www.cs.ox.ac.uk. Retrieved 18 January 2024.
^"Department of Computer Science - research theme: Automated Verification". www.cs.ox.ac.uk. Retrieved 9 February 2021.
^Huang, Xiaowei; Kwiatkowska, Marta; Wang, Sen; Wu, Min (2017), "Safety Verification of Deep Neural Networks", Computer Aided Verification, Lecture Notes in Computer Science, vol. 10426, Cham: Springer International Publishing, pp. 3–29, arXiv:1610.06940, doi:10.1007/978-3-319-63387-9_1, ISBN 978-3-319-63386-2, S2CID 11626373, retrieved 9 February 2021
^Duflot, Marie; Kwiatkowska, Marta; Norman, Gethin; Parker, David (5 July 2006). "A formal analysis of bluetooth device discovery". International Journal on Software Tools for Technology Transfer. 8 (6): 621–632. doi:10.1007/s10009-006-0014-x. ISSN 1433-2779. S2CID 8454983.
^"PRISM - Probabilistic Symbolic Model Checker". www.prismmodelchecker.org. Retrieved 9 February 2021.
^"prismmodelchecker.org". prismmodelchecker.org. Retrieved 9 February 2021.
^"External PRISM Bibliography". PRISM Model Checker. Retrieved 9 February 2021.
^Wu, Min; Kwiatkowska, Marta (June 2020). "Robustness Guarantees for Deep Neural Networks on Videos". 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE. pp. 308–317. arXiv:1907.00098. doi:10.1109/cvpr42600.2020.00039. ISBN 978-1-7281-7168-5. S2CID 195767577.
^"Responsible AI - GPAI". gpai.ai. Retrieved 11 February 2021.
^"Digital technology and the planet | Royal Society". royalsociety.org. Retrieved 11 February 2021.
^"OxWoCS Committee". www.cs.ox.ac.uk. Retrieved 15 February 2021.
^MRC London Institute of Medical Sciences (7 October 2016). "Suffrage Science Maths and Computing 2016". Issuu. Retrieved 15 February 2021.