Marta Kwiatkowska

Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on automated verification and quantitative analysis of complex systems, including probabilistic model checking, safety-critical systems, and applications in autonomous robotics, medical devices, and synthetic biology. She led the development of the PRISM model checker, a widely used tool for probabilistic verification.

Education:

• BSc/MSc in Computer Science, Jagiellonian University, Poland
• MA from Oxford University
• PhD in Computer Science from the University of Leicester

Research Interests: Automated verification techniques for probabilistic systems, safety in AI and autonomous systems, formal methods for medical devices, and computational biology. Her work bridges theory and practice, with applications in robotics, cybersecurity, and synthetic biology.

Grants and Awards:

• EPSRC Programme Grant on Mobile Autonomy
• ERC Advanced Grants (VERIWARE, FUN2MODEL)
• Royal Society Milner Award (2018)
• BCS Lovelace Medal (2019)

Advising and Labs: Supervises doctoral students in formal verification and AI safety. Leads research teams at the Department of Computer Science, focusing on tools like PRISM and applications in autonomous systems. Collaborates with the Oxford Martin School on molecular computing and synthetic biology.