Премия Дональда Э. Кнута — премия за выдающийся вклад в основы компьютерной науки , названная в честь американского учёного-компьютерщика Дональда Э. Кнута .
История
Премия Кнута вручается с 1996 года и включает в себя премию в размере 5000 долларов США. Премия присуждается ACM SIGACT и Техническим комитетом по математическим основам вычислений IEEE Computer Society . Премии вручаются поочередно на симпозиуме ACM по теории вычислений и на симпозиуме IEEE по основам компьютерной науки , которые являются одними из самых престижных конференций в области теоретической компьютерной науки . Лауреат премии Кнута читает лекцию на конференции. [1]
Например, Дэвид С. Джонсон «использовал свою лекцию о премии Кнута для продвижения практических приложений алгоритмов». [2]
В отличие от премии Гёделя , которая присуждается за выдающиеся работы, премия Кнута присуждается отдельным лицам за их общий вклад в данную область.
Победители
С момента учреждения премии в 1996 году она была присуждена следующим лицам, при этом приводится имя автора каждой награды (не всегда полностью): [3]
^ ab В память о Дэвиде С. Джонсоне, Computing Research Association, апрель 2016 г.
^ "Премия Кнута". ACM SIGACT. 23 сентября 2021 г. Получено 23 сентября 2021 г.
^ Панельная дискуссия SMU на тему «Создание будущего посредством вычислений» с выдающимися экспертами премии Тьюринга, Сингапурский университет менеджмента
^ Valiant получает премию Тьюринга 2010 года (PDF) , Notices of the American Mathematical Society (июнь/июль 2011 г.)
^ Шелтон, Джи (29 марта 2021 г.). «Лауреат премии Абеля 2021 года был опорой Йельского университета в области математики и компьютерных наук». Yale News . Йельский университет . Получено 24 апреля 2022 г. .
^ Шелтон, Джим (31 марта 2021 г.). «Премия ACM Turing Award вручается новаторам, которые сформировали компьютерное программирование: Ахо и Ульман разработали инструменты и основополагающие учебники, используемые миллионами программистов». EurekAlert! . AAAS . Получено 24 апреля 2022 г. .
↑ Бернадетт Янг (8 октября 2019 г.), профессор Христос Пападимитриу награжден премией Харви 2018 года, Колумбийский университет, инженерное дело
^ SIGACT Annual Report июль 2002 г. – июнь 2003 г.; 1. Награды, которые были вручены, ACM, 2003 г.
↑ Премия Кнута 2003 г., Миклос Айтай, ACM, 9 октября 2003 г.
↑ Премия Кнута 2005 г., Михалис Яннакакис, ACM, 1 мая 2006 г.
↑ Нэнси Линч названа лауреатом премии ACM за вклад в надежность распределенных вычислений, Лаборатория компьютерных наук и искусственного интеллекта Массачусетского технологического института, 4 апреля 2007 г.
^ Премия Кнута ACM SIGACT 2008 присуждается Штрассену за вклад в разработку эффективных алгоритмов, ACM, 23 октября 2008 г.
^ Линда Крейн, Дэвид С. Джонсон: Памяти, Колумбийский университет, Компьютерные науки
^ Ли Л. Кинер, Дэвид С. Джонсон '67, Amherst Magazine
^ Исследователь из AT&T Labs получит премию ACM SIGACT Knuth Prize за инновации в области алгоритмов, ACM, 2 марта 2010 г.
↑ Три исследователя Microsoft India стали стипендиатами ACM, Illinois Intelligencer, 9 декабря 2016 г.
↑ Цитата: Премия Кнута 2012 г. (PDF) , ACM, 15 июля 2012 г.
^ ACM присуждает премию Кнута создателю теории и алгоритмов решения проблем, ACM, 4 апреля 2013 г.
^ "ACM Awards Knuth Prize to Pioneer for Advances in Algorithms and Complexity Theory". Ассоциация вычислительной техники. 15 сентября 2014 г. Архивировано из оригинала 20 сентября 2014 г.
^ Тайлор, Филлип (2014). «ACM, IEEE Taps Lipton for Prestigious Knuth Prize». Центр новостей . Georgia Tech . Получено 24 апреля 2022 г.
^ Благодарность Ласло Бабая за премию Кнута 2015 г. (PDF) , ACM, 17 мая 2015 г.
^ ACM присуждает премию Кнута пионеру алгоритмической теории игр, ACM, 8 сентября 2016 г.
^ Премия Кнута 2017 года присуждена Одеду Голдрайху (PDF) , ACM, 13 июня 2017 г.
↑ Премия Кнута 2018 года присуждена Йохану Хостаду (PDF) , ACM, 6 августа 2018 г.
↑ Сью Джи (7 апреля 2019 г.), Премия Кнута 2019 г. присуждена за вклад в теорию сложности
^ «Оптимизация, сложность и математика ... с использованием градиента» – лекция премии Кнута, STOC 2019 – Ави Вигдерсон, 3 марта 2020 г., архивировано из оригинала 14.12.2021 г.
↑ Элизабет Салазар (15 мая 2020 г.), Синтия Дворк получает премию Кнута за выдающийся вклад в основы компьютерных наук, Гарвардский университет
^ Ведущий специалист в области криптографии и конфиденциальности данных получает премию Кнута, Американская ассоциация содействия развитию науки, 2 июня 2020 г.
↑ Лекция о премии Кнута – Синтия Дворк, 25 ноября 2020 г., архивировано из оригинала 14.12.2021 г.
^ «Профессор Гарварда получил премию за вклад в теоретическую информатику». HPC Wire . 2 июня 2020 г. Получено 24 апреля 2022 г.
^ Премия Кнута 2021 года присуждена Моше Варди (PDF) , ACM, 9 мая 2021 г.
^ STOC 2021 – Доклад о премии Кнута: Логика и вычисления – союз, заключенный на небесах – Моше Варди, 14 июля 2021 г., архивировано из оригинала 14 декабря 2021 г.
^ Бойд, Джейд (27 мая 2021 г.). «Моше Варди получает премию Кнута». Jewish Herald-Voice . Получено 24 апреля 2022 г.
^ "Премия Кнута 2022 года присуждена Ноге Алону" (PDF) . Специальная группа по алгоритмам и теории вычислений ACM . Получено 2 июля 2022 г. .
^ "Тардос удостоен премии Кнута 2023 года" . Получено 24 июня 2023 г.
^ "2024 Knuth Prize: Rajeev Alur". Специальная группа по интересам ACM по алгоритмам и теории вычислений . Получено 8 августа 2024 г.
