The Milner Award is awarded annually for outstanding achievement in computer science by a European researcher.
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.
Nominations for the Milner Award 2017 have now closed. Medallists will be announced in July with the next round of nominations opening in November 2017.
Milner Award 2017
The Royal Society Miner Award 2017 is awarded to Professor Andrew Zisserman FRS in recognition of his exceptional achievements in computer programming which includes work on computational theory and commercial systems for geometrical images.
Professor Zisserman will be presented with a medal and a gift of £5,000 at the Milner Award Lecture in November 2017.
Dr Xavier Leroy was awarded the Milner Award 2016 in recognition of his exceptional achievements in computer programming which includes the design and implementation of the OCaml programming language.
Professor Thomas A Henzinger was awarded the Milner Award 2015 for fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems.
See full list of all past winners of the Royal Society Milner Award.