holds the BSc/MSc degree in computer science from the Jagiellonian University, the MA degree from Oxford University, and the PhD degree from the University of Leicester. She is a professor of computing systems and a fellow of Trinity College, University of Oxford. Her main research focus is on modeling and quantitative verification of probabilistic systems, which includes both theoretical investigation leading to new models and efficient verification algorithms, as well as practical implementation. The PRISM model checker ( www.prismmodelchecker.org
) implemented under her leadership is the leading software tool in the area and is widely used for research and teaching. Applications of probabilistic model checking have spanned communication and security protocols, nanotechnology designs, power management, and systems biology. Dr. Kwiatkowska was invited speaker at the LICS 2003 and ESEC/FSE 2007 conferences and lead organizer of the Royal Society Discussion Meeting "From Computers to Ubiquitous Computing, by 2020" ( Phil. Trans. R. Soc. A
, vol. 366).