Marta Kwiatkowska
Marta Zofia Kwiatkowska is a Polish theoretical computer scientist based in the United Kingdom.
Kwiatkowska is Professor of Computing Systems in the Department of Computer Science at the University of Oxford, England, and a Fellow of Trinity College, Oxford. Her research focuses on developing modelling and automated verification techniques for computing systems in order to guarantee safe, secure, reliable, timely and resource-efficient operation.
Education
Kwiatkowska received her Bachelor of Science and Master of Science degrees in Computer Science with distinction summa cum laude from Jagiellonian University in Kraków, Poland. She obtained her PhD in Computer Science from the University of Leicester in 1989.Career and research
After obtaining her PhD, Kwiatkowska was assistant professor at Jagiellonian University, ; research scholar and lecturer in Computer Science at University of Leicester ; and lecturer in Computer Science, reader in Semantics for Concurrency, and professor of Computer Science at University of Birmingham. Joining the University of Oxford in 2007, Kwiatkowska was the first female professor in the and now heads the Automated Verification research theme.Kwiatkowska's research develops models and analysis methods for complex systems, as found in computer networks, biological organisms and electronic devices. Kwiatkowska led development of the PRISM probabilistic model checker; PRISM has been downloaded over 79,000 times and there are over 400 papers by external research teams using PRISM.
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. A member of the Global Partnership on Artificial Intelligence 'Responsible AI Working Group', and the Royal Society's 'Digital Technology and the Planet Working Group', Kwiatkowska advocates responsible adoption of trustworthy AI.
As a senior member of, contributor to the and adviser to the, Kwiatkowska encourages women to pursue careers in science.
Kwiatkowska serves on the editorial boards of Information and Computation, ', Logical Methods in Computer Science, Science of Computer Programming and the '.
Projects
- From FUNction-based TO MOdel-based automated probabilistic reasoning for DEep Learning, a European Research Council Advanced Grant.
- Enabling a Pervasive Technology of the Future, an Engineering and Physical Sciences Research Council Programme Grant.
Selected talks and lectures
- BCS 2020 Lovelace Lecture, on-line event, May 2021.
- Conference on Principles of Knowledge Representation and Reasoning,, on-line event, September 2020.
- ' – Milner Award Prize Lecture, November 2018.
- – Hay Festival talk on 30 May 2017.
- – invited lecture at Simons Institute for the Theory of Computing, UC Berkeley, October 2016.
- – invited lecture at, September 2016.
Awards and honours
- Fellow of the European Laboratory for Learning and Intelligent Systems, 2020.
- 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.
- Fellow of the Royal Society,, 2019.
- Became the first female winner of the Royal Society Milner Award in recognition of ‘her contribution to the theoretical and practical development of stochastic and quantitative model checking’, 2018.
- Jointly awarded the for her ‘contributions to probabilistic model checking and, more generally, to formal verification’, 2016.