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.