Премия Милнера
| Премия Милнера Королевского общества и лекция | |
|---|---|
| Награжден за | «выдающееся достижение европейского исследователя в области информатики» |
| Представлено | Королевское общество |
| Награда(ы) | £5,000 |
| Первая награда | 2012 |
| Веб-сайт | Премия Милнера и лекция |
Премия Милнера Королевского общества , официально Премия и лекция Королевского общества Милнера , ежегодно присуждается Королевским обществом , лондонским научным обществом , за «выдающиеся достижения в области компьютерных наук европейского исследователя ». Премия поддерживается Microsoft Research и названа в честь Робина Милнера , выдающегося пионера в области компьютерных наук. [1] который, помимо прочего, разработал LCF и язык программирования ML . [2]
Получателями должны быть активные исследователи в области компьютерных наук, которые либо являются европейцами, либо проживали в Европе не менее 12 месяцев до номинации. Победители получают бронзовую медаль и личный приз в размере 5000 фунтов стерлингов, а также приглашаются прочитать публичную лекцию о своих исследованиях в Обществе. Совет Королевского общества выбирает лауреатов по рекомендации Комитета по премии Милнера. В состав комитета входят члены Королевского общества , члены Академии наук (Франция) и члены Леопольдины (Германия). [1]
Премии Милнера предшествовала премия Королевского общества и Академии наук Microsoft , которая награждала ученых Европы за достижения в науке с использованием вычислительных методов . Она продолжалась с 2006 по 2009 год, пока не была заменена нынешней наградой. [3] Премия ACM SIGPLAN Robin Milner Young Researcher Award — аналогичная награда, присуждаемая за «выдающийся вклад молодых исследователей в области языков программирования». [4]
Получатели
[ редактировать ]Первый победитель Гордон Плоткин получил свой приз в 2012 году. [5] но прочитал публичную лекцию в 2013 году, [6] в том же году, что и Серж Абитбул . В 2018 году Марта Квятковская стала первой женщиной-лауреатом премии. [7] Хотя лауреат премии 2019 года Юджин Майерс — американец, в 2012 году он переехал в Дрезден , Германия, чтобы стать директором Института молекулярно-клеточной биологии и генетики Макса Планка . [8] таким образом, он соответствует критериям исследователя, который является европейцем или прожил в Европе не менее 12 месяцев. В связи с мерами инфекционного контроля, принятыми в связи с пандемией COVID-19 , [9] лекция 2020 года прошла в формате Zoom вебинара . [10]
| Год | Изображение | Получатель | Национальность | Обоснование | Ссылка |
|---|---|---|---|---|---|
| 2012 |  | Гордон Плоткин | Британский | «За фундаментальные исследования семантики программирования, оказавшие долгосрочное влияние как на принципы, так и на дизайн языков программирования» | [11] |
| 2013 |  | Серж Абитбул | Французский | «За ведущие в мире исследования баз данных, имеющие значительный научный и промышленный эффект» | [12] |
| 2014 | – | Бернхард Шёлкопф | немецкий | «за то, что он был пионером в области машинного обучения, чья работа определила область «ядерных машин», которые широко используются во всех областях науки и промышленности» | [13] |
| 2015 |  | Томас Хензингер | австрийский | «за фундаментальные достижения в теории и практике формальной верификации и синтеза реактивных, реальных и гибридных компьютерных систем» | [14] |
| 2016 |  | Ксавье Лерой | Французский | «за исключительные достижения в области компьютерного программирования, включая разработку и реализацию языка программирования OCaml» | [15] |
| 2017 | – | Эндрю Зиссерман | Британский | «За работу в области теории вычислений и коммерческих систем для геометрических изображений, а также за пионера в области машинного обучения для зрения» | [16] |
| 2018 |  | Марта Квятковска | Польский | «за вклад в теоретическое и практическое развитие стохастической и количественной проверки моделей» | [17] |
| 2019 |  | Юджин Майерс | Американский | «За разработку вычислительных методов, благодаря которым секвенирование генома стало повседневным использованием, легло в основу ключевых инструментов биологического секвенирования и сделало практическим крупномасштабный анализ биологических изображений» | [18] |
| 2020 | – | Корделия Шмид | Французский | «за работу в области компьютерного зрения и фундаментальный вклад в представление изображений и видео для визуального распознавания» | [19] |
| 2021 |  | Зубин Гахрамани | Британский / Иранский | «за фундаментальный вклад в вероятностное машинное обучение» | [20] |
| 2022 | – | Ивонн Роджерс | Британский | «За вклад в взаимодействие человека и компьютера и разработку технологий, ориентированных на человека» | [21] |
| 2023 |  | Стефан Малла | Французский | «За его ключевые достижения в области фундаментальных принципов вейвлетов, включая теорию обработки звука, изображений и видео, его предпринимательство, а также за значительный вклад в углубление понимания глубоких нейронных сетей» | [22] |
| 2024 |  | Артур Экерт | Британский / Польский | «За его новаторский вклад в квантовую коммуникацию и вычисления, который превратил область квантовой информатики из нишевой академической деятельности в яркую междисциплинарную область промышленного значения» | [23] |
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Перейти обратно: а б «Премия и лекция Королевского общества Милнера теперь принимают номинации» . HPCwire . 15 января 2020 года. Архивировано из оригинала 11 мая 2021 года . Проверено 11 мая 2021 г.
- ^ «Некрологи: Робин Милнер, 1934–2010» . Департамент компьютерных наук и технологий Кембриджского университета. Архивировано из оригинала 23 марта 2021 года . Проверено 10 мая 2021 г.
- ^ «Прошлые медали, награды и призовые лекции» . Королевское общество. Архивировано из оригинала 11 мая 2021 года . Проверено 11 мая 2021 г.
- ^ «Дерек Дрейер получает премию молодого исследователя Робина Милнера» . Институт Макса Планка. 13 сентября 2017 г. Архивировано из оригинала 11 мая 2021 г. Проверено 11 мая 2021 г.
- ^ «Гордон Плоткин» . Королевское общество. Архивировано из оригинала 29 апреля 2021 года . Проверено 29 апреля 2021 г.
- ^ «От логики к информатике: лингвистическое путешествие» . Королевское общество. Архивировано из оригинала 27 апреля 2021 года . Проверено 27 апреля 2021 г.
- ^ «Марта Квятковская – Биография» . Департамент компьютерных наук Оксфордского университета. Архивировано из оригинала 23 апреля 2021 года . Проверено 12 мая 2021 г.
- ^ «Юджин Майерс возглавит новый Центр системной биологии» . Макс-Планк-Гезельшафт. 4 июня 2012 г. Архивировано из оригинала 29 апреля 2021 г. . Проверено 29 апреля 2021 г.
- ^ «Королевское общество, Лондон» . Королевское общество. Архивировано из оригинала 30 апреля 2021 года . Проверено 30 апреля 2021 г.
- ^ «Автоматическое понимание визуального мира» . Королевское общество. Архивировано из оригинала 27 апреля 2021 года . Проверено 27 апреля 2021 г.
- ^ «Гордон Плоткин» . Эдинбургский университет. Архивировано из оригинала 12 мая 2021 года . Проверено 12 мая 2021 г.
- ^ «Серж Абитбул» . ENS Париж-Сакле. Архивировано из оригинала 12 мая 2021 года . Проверено 12 мая 2021 г.
- ^ «Премия Королевского общества Милнера Бернхарду Шелькопфу» . Институт Макса Планка интеллектуальных систем. 1 августа 2014 года. Архивировано из оригинала 2 февраля 2017 года . Проверено 12 мая 2021 г.
- ^ «Томас Хензингер получит премию Королевского общества» . IST Австрия. 20 июля 2015 г. Архивировано из оригинала 12 мая 2021 г. Проверено 12 мая 2021 г.
- ^ «Доктор Ксавье Лерой, лауреат Премии Милнера Королевского общества 2016 года» . Франция в Великобритании. 17 марта 2017 года. Архивировано из оригинала 6 августа 2020 года . Проверено 14 мая 2021 г.
- ^ «Пять оксфордских ученых, удостоенных награды Королевского общества» . Оксфордский университет. 19 июля 2016 г. Архивировано из оригинала 12 мая 2021 г. Проверено 12 мая 2021 г.
- ^ «Профессор Марта Квятковская объявлена медалистом премии Милнера» . Департамент компьютерных наук Оксфордского университета. 18 июля 2017 года. Архивировано из оригинала 12 мая 2021 года . Проверено 12 мая 2021 г.
- ^ «Юджин Майерс получает медаль Милнера от Королевского общества» . Институт молекулярной клеточной биологии и генетики Макса Планка. 3 декабря 2019 года. Архивировано из оригинала 12 мая 2021 года . Проверено 12 мая 2021 г.
- ^ «Премия Королевского общества Милнера и лекция Корделии Шмид» . ПРЕРИ. 4 декабря 2020 года. Архивировано из оригинала 12 мая 2021 года . Проверено 12 мая 2021 г.
- ^ «Профессора среди лауреатов медалей и наград Королевского общества 2020 года» . Инженерный факультет Кембриджского университета. 4 августа 2020 года. Архивировано из оригинала 12 мая 2021 года . Проверено 12 мая 2021 г.
- ^ «Поздравляем профессора Ивонн Роджерс – обладательницу премии Милнера Королевского общества!» . Центр взаимодействия Университетского колледжа Лондона. 26 августа 2021 года. Архивировано из оригинала 26 августа 2021 года . Проверено 29 августа 2021 г.
- ^ «Королевское общество объявляет лауреатов медалей и наград этого года» . Королевское общество. 24 августа 2022 г. Проверено 26 августа 2022 г.
- ^ «Королевское общество объявляет лауреатов медалей и наград этого года» . Королевское общество. 30 августа 2023 г. Проверено 1 сентября 2023 г.
Внешние ссылки
[ редактировать ]- «Премия Милнера и лекция» . Королевское общество.