The 2018 Milner Medal and Lecture is awarded to Professor Marta Kwiatkowska in recognition of her contribution to the theoretical and practical development of stochastic and quantitative model checking.
Professor Kwiatkowska will be presented with a medal and a gift of £5,000 at the Milner Award Lecture in November 2018.
The Royal Society Milner Award, 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. The Committee is made up of Fellows of the Royal Society, Members of the Académie des sciences and Members of Leopoldina (Germany).
The award replaces the Royal Society and Académie des sciences Microsoft Award and is named in honor of Professor Robin Milner FRS (1934-2010), a pioneer in computer science.
The next round of nominations will open on November 30, 2017.
From The Royal Society
View Full Article
No entries found