Skip to content

Marta Kwiatkowska

Professor Marta Kwiatkowska


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, with a recent shift towards synthesis from quantitative specifications.

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, molecular signalling networks, DNA computation and cardiac pacemakers.

Marta has published over 200 papers during her career and received many keynote invitations. She won the ERC Advanced Grant VERIWARE
( in 2010, was elected to give the Milner lecture in 2012, and was awarded an honorary doctorate from KTH Institute of Technology.


Participated Role
International Fellowships Panel
2008 to 2010 Member
2008 to 2010 Member
Editorial Board of Philosophical Transactions of the Royal Society A
2010 to 2015 Member
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.