Marta Kwiatkowska

Marta Kwiatkowska

Professor, University of Oxford
Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She is known for fundamental contributions to the theory and practice of model checking for probabilistic systems, focusing on automated techniques for verification and synthesis from quantitative specifications. She led the development of the PRISM model checker (www.prismmodelchecker.org), the leading software tool in the area which has been used to model and analyse systems in diverse fields, including wireless networks, robotics, systems biology and DNA computing. Recently, she has focused on safety and trust in AI, with an emphasis on safety and robustness guarantees for machine learning. Kwiatkowska is the first female winner of the Royal Society Milner Award, and was awarded the BCS Lovelace Medal and Van Wijngaarden Award. She has been the recipient of two ERC Advanced Grants, an honorary doctorate from KTH and titular Professorship in Poland. She won two ERC Advanced Grants, VERIWARE and FUN2MODEL, and is a Fellow of the Royal Society, Fellow of ACM and Member of Academia Europea.

Program Visits

Theoretical Foundations of Computer Systems, Spring 2021, Visiting Scientist and Program Organizer
Logical Structures in Computation, Fall 2016, Visiting Scientist
program
Extended Reunion: Theoretical Foundations of Computer Systems
visiting
Fields
probabilistic verification, robustness of machine learning, tractable probabilistic inference