Milner Award Medallist 2018
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 honour of Professor Robin Milner FRS (1934-2010), a pioneer in computer science.
The next round of nominations will open on November 30 2017.
Professor Andrew Zisserman FRS was awarded the 2017 Milner Medal in recognition of his exceptional achievements in computer programming which includes work on computational theory and commercial systems for geometrical images.
Dr Xavier Leroy was awarded the 2016 Milner Medal in recognition of his exceptional achievements in computer programming which includes the design and implementation of the OCaml programming language.
See full list of all past winners of the Royal Society Milner Medal.