Sign In

Communications of the ACM

ACM News

Milner Award and Lecture


Marta Kwiatkowska, professor of computing systems at the University of Oxford.

Marta Kwiatkowska, professor of computing systems at the University of Oxford, has been awarded the 2018 Milner Medal and Lecture by The Royal Society.

Credit: The Royal Society

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 award

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