Marta Kwiatkowska
Kwiatkowska led the development of PRISM. The tool explores mathematical system models against quantitative properties, including time, power use and reliability. She works on safety verification for neural networks and gave a CAV 2017 keynote on that topic. The methods study defined properties under mathematical models and assumptions. Her research connects quantitative verification with mobile autonomous robots, including self-driving and care robots. She also studies formalization and model checking for social trust.
- Works
- 533
- Citations
- 20,459
- h-index
- 69
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
As of October 2026
Probabilistic model checking
Kwiatkowska led the development of PRISM. The tool explores mathematical system models against quantitative properties, including time, power use and reliability.
-
2017
Neural-network safety
She works on safety verification for neural networks and gave a CAV 2017 keynote on that topic. The methods study defined properties under mathematical models and assumptions.
-
As of October 2026
Autonomous systems and trust
Her research connects quantitative verification with mobile autonomous robots, including self-driving and care robots. She also studies formalization and model checking for social trust.
Sources and credits
Photo: Federated Logic Conference 2018, via Wikimedia Commons. License: CC BY 3.0. Source: commons.wikimedia.org. Cropped to a square and resized. Ask us to remove or replace this photo.
