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 (www.primmodelchecker.org), 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
(www.veriware.org) in 2010, was elected to give the Milner lecture in 2012, and was awarded an honorary doctorate from KTH Institute of Technology.