Marta Kwiatkowska Awarded Polish Titular Professorship

Trinity Professorial Fellow Marta Kwiatkowska has been awarded Poland’s highest recognition of her work, a titular professorship. 

Professor Kwiatkowska attended a ceremony at the Presidential Palace in Poland, where she was given her award in person by the President of Poland, Andrzej Duda. A Professor of Computing Systems in Oxford's Computer Science Department, she was recognised for her contribution to computer studies, where she has pioneered research on modelling, verification, and synthesis of probabilistic systems. She led the development of the highly influential PRISM probabilistic model checker, which is widely used for research and teaching and which has been downloaded over 80,000 times.