Royal Society Milner Award Medallist 2018
The 2018 Royal Society Milner Award 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 Royal Society 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 who has had UK residency for 12 months or more. 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 Award 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 Award 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 Award.