Posted: 18th July 2017

We are delighted to announce that Professor Marta Kwiatkowska has been awarded the Royal Society Milner Award for her contribution to the theoretical and practical development of stochastic and quantitative model checking. The award, supported by Microsoft Research, is given annually for outstanding achievement in computer science by a European researcher.

Professor Kwiatkowska, the first female winner of the award, will be presented with a medal and a gift of £5,000 at the Milner Award Lecture in November 2018.

Read more: https://royalsociety.org/grants-schemes-awards/awards/milner-award/