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. Her work on the theory to practice transfer of probabilistic model checking was recognised by invitations to speak at the LICS 2003 and ESEC/FSE 2007 conferences. The PRISM model checker 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. Her research is currently supported by £3.7m of grant funding from EPSRC, EU and ERC, including the recently awarded ERC Advanced Grant VERIWARE "From software verification to everyware verification"; see here for more information.

Marta Kwiatkowska is a Fellow of the BCS. She serves on editorial boards of several journals, including IEEE Transactions on Software Engineering, Science of Computer Programming and Royal Society's Philosophical Transactions A. Kwiatkowska is a member of the Steering Committee of the International Conference on Quantitative Evaluation of SysTems (QEST) and was guest co-editor of the Special Issue of IEEE Transactions on Software Engineering on Quantitative Evaluation of Computer Systems, 35(2), 2009. She was lead organiser of the Royal Society Discussion Meeting "From computers to ubiquitous computing, by 2020" and guest co-editor of the associated Proceedings in Phil. Trans. R. Soc. A vol 366 no 1881.