Professor Marta Kwiatkowska, Professorial Fellow in Computing Systems, has been awarded the Royal Society’s Milner Award.
The award has been made to Professor Kwiatkowska for her contribution to the theoretical and practical development of stochastic and quantitative model checking.
The Royal Society Milner Award Medal and Lecture, supported by Microsoft Research, is given annually for outstanding achievement in computer science by a European researcher. The recipient is chosen by the Council of the Royal Society on the recommendation of the Milner Award Committee, which is made up of Fellows of the Royal Society, Members of the Académie des Sciences and Members of Leopoldina (Germany). Professor Kwiatkowska is the first female winner of the award.
Professor Kwiatkowska will be presented with a medal at the Milner Award Lecture in November 2018.
Posted: 18 July 2017