Skip to content

Marta Kwiatkowska

Professor Marta Kwiatkowska FRS


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


Participated Role
International Fellowships Panel
2008 to 2010 Member
Newton International Fellowships Committee: Physical Sciences
2008 to 2010 Member
Editorial Board of Philosophical Transactions of the Royal Society A
2010 to 2015 Member
Dorothy Hodgkin Fellowships Selection Committee
2013 to 2018 Member
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.