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 (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, 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.