Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

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

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

Победители [ править ]

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

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

См. Также [ править ]

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

Ссылки [ править ]

  1. ^ a b c "Премия Королевского общества Милнера" . Королевское общество . Проверено 7 марта 2012 .