Премия Милнера - Milner Award

В Премия Королевского общества Милнера, при поддержке Microsoft Research, дается за выдающиеся достижения в Информатика европейским исследователем. Он заменяет Королевское общество и Академию наук. Премия Microsoft и назван в честь Робин Милнер, пионер информатики.^[1]

Получатель должен быть активным исследователем в области компьютерных наук, за исключением научных сотрудников Microsoft, которые проживали в Европе не менее 12 месяцев до своего назначения. Победитель награды получает медаль и личный приз в размере 5000 фунтов стерлингов. Победитель приглашается прочитать публичную лекцию о своих исследованиях в Обществе.^[1]

Получателя выбирает Совет Королевское общество по рекомендации Комитета по присуждению премии Милнера. Комитет состоит из научных сотрудников Королевское общество, Члены Академия наук (Франция) и члены Леопольдина (Германия). Номинации действительны в течение пяти лет, по истечении которых кандидат не может быть повторно номинирован до истечения года после истечения срока действия выдвижения.^[1]

Победители

Источник: Королевское общество

• 2012: Гордон Плоткин, за фундаментальные исследования семантики программирования.
• 2013: Серж Абитебул, за ведущее в мире исследование баз данных.
• 2014: Бернхард Шёлкопф, за то, что он был пионером в области машинного обучения, чья работа определила сферу «ядерных машин», которые широко используются во всех областях науки и промышленности.
• 2015: Томас А. Хензингер, за фундаментальные достижения в теории и практике формальной верификации и синтеза реактивных компьютерных систем реального времени и гибридных компьютерных систем.
• 2016: Ксавье Леруа, в знак признания его исключительных достижений в компьютерном программировании
• 2017: Андрей Зиссерман, в знак признания его исключительных достижений в компьютерном программировании
• 2018: Марта Квятковска, в знак признания ее вклада в теоретическое и практическое развитие стохастической и количественной проверки моделей
• 2019: Юджин Уимберли Майерс-младший, за разработку вычислительных методов [по] секвенированию генома
• 2020: Корделия Шмид, за ее работу в области компьютерного зрения и ее фундаментальный вклад в представление изображений и видео для визуального распознавания
• 2021: Зубин Гахрамани, за его фундаментальный вклад в вероятностное машинное обучение

Смотрите также

• Список наград в области информатики

Рекомендации

1. «Премия Королевского общества Милнера». Королевское общество. Получено 2012-03-07.