Skip to content


Fellows Directory

Marta Kwiatkowska

Marta Kwiatkowska

Professor Marta Kwiatkowska FRS


Elected: 2019





Marta Kwiatkowska is a computer scientists who is developing modelling and analysis methods for complex systems, such as those arising in computer networks, electronic devices and biological organisms. The distinctive aspect of her work is its focus on probabilistic and quantitative verification techniques, as well as synthesis of correct-by-construction systems from quantitative specifications. Marta’s recent contributions have centred on safety and trust for robotics and Artificial Intelligence, and specifically safety and robustness guarantees for machine learning.

Marta led the development of the PRISM model checker (, the leading tool in the area and widely used for research and teaching. PRISM has been applied to study, amongst others, wireless network protocols, security protocols, molecular signalling networks, DNA computation and cardiac pacemakers.

Marta has published over 300 papers during her career and received numerous keynote invitations. She won two ERC Advanced Grants, VERIWARE and FUN2MODEL, and is a co-investigator on the EPSRC Programme Grant on Mobile Autonomy. Marta was awarded an honorary doctorate from KTH Institute of Technology and is the first female winner of the Royal Society Milner Medal. She is a Fellow of the ACM, Member of Academia Europea and Fellow of the Royal Society.

Professional positions

Professor of Computing Systems, Department of Computer Science, University of Oxford

Interest and expertise

Subject groups

  • Computer sciences
    • Artificial intelligence, machine learning, vision, Programming languages and verification
  • Engineering
    • Computer engineering (including software)


Automated verification/Model checking, Probabilistic/quantitative modelling and verification, Safety, robustness and fairness for machine learning and Artificial Intelligence


  • Royal Society Milner Award

    For her contribution to the theoretical and practical development of stochastic and quantitative model checking.

Was this page useful?
Thank you for your feedback
Thank you for your feedback. Please help us improve this page by taking our short survey.