Marta Kwiatkowska - Biography
Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. Prior to this she was Professor in the School of Computer Science at the University of Birmingham, Lecturer at the University of Leicester and Assistant Professor at the Jagiellonian University in Cracow, Poland. She holds a BSc/MSc in Computer Science from the Jagiellonian University, MA from Oxford and a PhD from the University of Leicester.
Marta Kwiatkowska spearheaded the development of probabilistic and
quantitative methods in verification on the international scene. She led the development of the PRISM model checker,
the leading software tool in the area and widely used for research
and teaching. Applications of probabilistic model checking have spanned
communication and security protocols, nanotechnology designs, power
management, game theory, planning and systems biology, with genuine flaws found and corrected in real-world protocols.
Kwiatkowska gave the Milner Lecture in 2012 in recognition of "excellent and original theoretical work which has a perceived significance for practical computing" and
was invited to give keynotes at the LICS 2003, ESEC/FSE
2007, ETAPS/FASE 2011 and SAFECOMP 2012 conferences.
Marta Kwiatkowska is a member of Academia Europea and Fellow of the BCS. She serves on editorial boards
of several journals, including IEEE Transactions on Software Engineering, Formal Methods in System Design, Science of Computer Programming and Royal
Society's Philosophical Transactions A. Kwiatkowska's research has been supported by
grant funding from EPSRC, ERC, EU, DARPA and Microsoft Research Cambridge, including the prestigious ERC Advanced Grant VERIWARE "From software verification to
everyware verification".