Материал из РУВИКИ — свободной энциклопедии

Премия Тьюринга

Премия Тьюринга
англ. ACM A. M. Turing Award
Страна
Тип научная награда[d]
Кем вручается Ассоциация вычислительной техники
Статистика
Дата учреждения 1966[1]
Сайт amturing.acm.org (англ.)
Логотип РУВИКИ.Медиа Медиафайлы на РУВИКИ.Медиа

Премия Тьюринга — самая престижная премия по информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.

Учреждена Ассоциацией вычислительной техники в честь выдающегося английского учёного Алана Тьюринга, получившего первые глубокие результаты относительно вычислимости за несколько лет до появления первых электронных вычислительных машин. Ежегодно вручается одному или нескольким специалистам в области информатики и вычислительной техники, чей вклад в этой сфере оказал сильное и продолжительное влияние на компьютерное сообщество[2]. Премия может быть присуждена одному человеку не более одного раза. В сфере информационных технологий премия Тьюринга имеет статус, аналогичный Нобелевской премии в академических дисциплинах[3]. Впервые была присуждена в 1966 году Алану Перлису за развитие технологии создания компиляторов.

В 2000-е годы премиальный фонд спонсировался корпорациями Intel и Google, ежегодный размер премии составлял $250 тыс., с 2014 года ежегодный призовой фонд увеличен до $1 млн, а компания Google стала единственным спонсором премии[4][5].

По традиции лауреат премии при вручении выступает с докладом, именуемым «тьюринговская лекция», в которой делится мнением о важных на его взгляд проблемах информатики и вычислительной техники.

Лауреаты премии Тьюринга[править | править код]

Год Лауреат Причина присуждения
1966 Флаг США Алан Перлис За его влияние в области обобщённых техник программирования и построения компиляторов
1967 Флаг Великобритании Морис Уилкс Профессор Уилкс более всего известен как проектировщик EDSAC, первого компьютера, допускающего внутреннее хранение программ. Построенный в 1949, EDSAC использовал память на линиях задержки. Он также известен, в соавторстве с Виллером и Гиллом как автор книги «Preparation of Programs for Electronic Digital Computers», 1951 года, в которой вводится важнейшее понятие библиотеки
1968 Флаг США Ричард Хэмминг За работы в области численных методов, систем автоматического кодирования, кодов определения и корректировки ошибок
1969 Флаг США Марвин Минский За огромный вклад в создание, формирование, продвижение и развитие научного направления искусственного интеллекта
1970 Флаг Великобритании Джеймс Уилкинсон За исследования в области численного анализа, способствовавшие использованию высокоскоростных цифровых компьютеров, приобретшие особое значение в свете его работ по вычислениям в линейной алгебре и «обратному» анализу ошибок
1971 Флаг США Джон Мак-Карти Лекция Мак-Карти «Современное состояние исследований по искусственному интеллекту» освещает состояние дел в области, которая обязана многими существенными успехами его работам
1972 Флаг Нидерландов Эдсгер Дейкстра За значительный вклад в разработку языка программирования высокого уровня Алгол, ставшего воплощением ясности и математической строгости. Он один из ярчайших представителей науки и искусства языков программирования во всей их общности, а также учёный, во многом способствовавший пониманию их структуры, представления и реализации. Его публикации в течение пятнадцати лет охватывают широкий спектр тем от теоретических статей по теории графов до базовых руководств, описаний и философских размышлений в области языков программирования
1973 Флаг США Чарльз Бахман За выдающийся вклад в технологии баз данных
1974 Флаг США Дональд Кнут За огромный вклад в анализ алгоритмов, разработку языков программирования, и в особенности за создание широко известной серии книг под общим названием «Искусство программирования»
1975 Флаг США Аллен Ньюэлл
Флаг США Герберт Саймон 		За фундаментальный вклад в искусственный интеллект, психологию механизмов человеческого восприятия и обработку списков
1976 Флаг Израиля Майкл Рабин
Флаг США Дана Скотт 		За статью «Конечные автоматы и проблема разрешимости для них», в которой была предложена идея недетерминированного автомата, концепции, доказавшей впоследствии свою исключительную ценность. Ставшая классической, статья послужила источником вдохновения для многих последующих работ в этой области
1977 Флаг США Джон Бэкус За глубокий, продолжительный и оказавший большое влияние вклад в проектирование практических высокоуровневых программных систем, в частности за его работу над языком Фортран, и его оригинальную публикацию по формализации спецификаций языков программирования
1978 Флаг США Роберт Флойд За несомненное влияние на методологию создания эффективного и надёжного программного обеспечения и за его помощь в становлении таких областей компьютерных наук как теория парсинга, семантика языков программирования, автоматическая верификация программ, автоматический синтез программ, и анализ алгоритмов
1979 Флаг Канады Кеннет Айверсон За новаторскую работу в области языков программирования и математической записи, имеющую результатом то, что сейчас известно среди специалистов как APL, за его вклад в реализацию интерактивных систем, использование APL в образовательных целях, а также в теорию и технику языков программирования
1980 Флаг Великобритании Энтони Хоар За его фундаментальный вклад в определение и разработку языков программирования
1981 Флаг Великобритании Флаг США Эдгар Кодд За его фундаментальный и продолжительный вклад в теорию и практику систем управления базами данных, в особенности реляционного типа
1982 Флаг США Стивен Артур Кук За существенный прогресс, достигнутый им в понимании сложности вычислений. Его работа положила основу теории NP-полноты. Исследование свойств и границ этого класса стало одним из важнейших направлений теории вычислительных систем за последние десять лет
1983 Флаг США Кен Томпсон
Флаг США Деннис Ритчи 		За разработку общей теории операционных систем и в частности за создание Unix
1984 Флаг Швейцарии Никлаус Вирт За разработку серии инновационных компьютерных языков, Эйлер, Algol-W, Модула и Паскаль
1985 Флаг США Ричард Карп За продолжительный вклад в теорию алгоритмов, в том числе за разработку эффективных алгоритмов для потоков на сетях и других комбинаторных оптимизационных задач, сопоставление вычислений полиномиальной сложности с интуитивным понятием эффективности, и, самое главное, за вклад в теорию NP-полноты
1986 Флаг США Джон Хопкрофт
Флаг США Роберт Тарджан 		За фундаментальные достижения в области разработки и анализа алгоритмов и структур данных
1987 Флаг США Джон Кок За выдающийся вклад в проектирование и теорию компиляторов, архитектуру больших систем и разработку RISC-компьютеров
1988 Флаг США Айвен Сазерленд За основополагающий и дальновидный вклад в компьютерную графику, начиная от изобретения Sketchpad, но не заканчивающегося им
1989 Флаг Канады Уильям Кэхэн За фундаментальный вклад в численный анализ. Один из первых экспертов в вычислениях с плавающей запятой. Кэхэн также посвятил себя задаче «сделать мир безопасным для численных расчётов»
1990 Флаг США Фернандо Корбато За новаторскую работу по созданию концепции и управлению разработками по созданию общецелевых, крупномасштабных компьютерных систем с разделением времени и ресурсов CTSS и Multics
1991 Флаг Великобритании Робин Милнер За три различных полноценных достижения: 1) LCF, автоматизирующий доказательства в логике вычислимых функций Скотта, по-видимому первый, инструмент автоматизированного конструирования доказательств, построенный на теоретическом фундаменте и при этом полезный на практике; 2) ML, первый язык программирования использующий полиморфный вывод типов вместе с типизированным механизмом обработки ошибок; 3) CCS, общая теория параллельных вычислений. Вдобавок, он сформулировал и развил полную абстракцию, теорию о связи между операционной и денотационной семантиками
1992 Флаг США Батлер Лэмпсон За вклад в разработку распределённых, персональных вычислительных сред и технологию их реализации: рабочие станции, сети, операционные системы, программные системы, дисплеи, безопасность и обмен документами
1993 Флаг Латвии Флаг США Юрис Хартманис
Флаг США Ричард Э. Стернс 		В дань их основополагающим работам, обеспечившим базу теории сложности вычислений
1994 Флаг США Эдвард Фейгенбаум
Флаг США Радж Редди 		За первопроходческие разработки и создание крупномасштабных систем искусственного интеллекта и демонстрацию практической важности и потенциальной коммерческой выгоды от технологий использующих искусственный интеллект
1995 Флаг США Мануэль Блюм В знак признания вклада в основы теории сложности вычислений и её применения в криптографии и верификации программ
1996 Флаг Израиля Амир Пнуэли За плодотворную работу по внедрению темпоральной логики в вычислительные науки, и за выдающийся вклад в верификацию программ и систем
1997 Флаг США Дуглас Энгельбарт За вдохновляющее предвидение будущего развития интерактивных вычислений и изобретение ключевых технологий, помогающих это предвидение реализовать
1998 Флаг США Джим Грей За основополагающие идеи в области баз данных, исследования обработки транзакций и техническое лидерство в реализации систем.
1999 Флаг США Фредерик Брукс За исторически значимый вклад в компьютерную архитектуру, операционные системы, и проектирование программного обеспечения.
2000 Китай Эндрю Яо В дань его фундаментальному вкладу в теорию вычислений, включающему, основанную на понятии сложности вычисления, теорию генерации псевдослучайных чисел, криптографии, и коммуникационной сложности
2001 Флаг Норвегии Уле-Йохан Даль
Флаг Норвегии Кристен Нюгор 		За идеи, фундаментальные для развития объектно-ориентированного программирования, возникшие в ходе разработки языков программирования Симула I и Симула 67
2002 Флаг США Рональд Ривест
Флаг Израиля Ади Шамир
Флаг США Леонард Адлеман 		За уникальный вклад по увеличению практической пользы систем шифрования с открытым ключом
2003 Флаг США Алан Кэй За многочисленные новаторские идеи, которые легли в основу современных объектно-ориентированных языков, руководство командой разработчиков языка Smalltalk и за фундаментальный вклад в развитие области ПК
2004 Флаг США Винтон Серф
Флаг США Роберт Кан 		За новаторскую работу по проблеме межсетевого обмена (англ. internetworking), включая разработку и реализацию основных Интернет-протоколов, TCP/IP и за ведущую роль в области компьютерных сетей
2005 Флаг Дании Петер Наур За фундаментальный вклад в проектирование языков программирования и создание языка Алгол 60, а также в проектирование компиляторов, и в искусство и технику компьютерного программирования
2006 Флаг США Френсис Аллен За новаторский вклад в теорию и практику оптимизации компьютерных программ, послуживший основой для современных оптимизирующих компиляторов и автоматическому распараллеливанию программ
2007 Флаг США Эдмунд Кларк
Флаг США Аллен Эмерсон
Флаг Греции Флаг Франции Иосиф Сифакис 		За их роль в развитии проверки моделей — высокоэффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[6]
2008 Флаг США Барбара Лисков За вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений.
2009 Флаг США Чарльз Текер За новаторскую разработку и создание «Альто» — первого современного персонального компьютера, а также за его вклад в технологию Ethernet и развитие планшетных персональных компьютеров.
2010 Флаг Великобритании Лесли Вэлиант За вклад в теорию алгоритмов, включая приближённо правильное обучение[en], теорию сложности перечисления и алгебраических исчислений, а также теорию параллельных и распределённых вычислений.[7]
2011 Флаг Израиля Флаг США Джуда Перл За фундаментальный вклад в искусственный интеллект посредством разработки исчисления для проведения вероятностных и причинно-следственных рассуждений (англ. calculus for probabilistic and causal reasoning)[8]
2012 Флаг США Сильвио Микали
Флаг США Шафи Гольдвассер 		За новаторские работы по вероятностному шифрованию (в том числе, первую вероятностную криптосистему с открытым ключом) и работы по применению доказательств с нулевым разглашением в криптографических протоколах[9].
2013 Флаг США Лесли Лэмпорт За фундаментальный вклад в теорию и практику распределённых и взаимодействующих систем, отмеченный открытием таких понятий, как причинность и логические часы, безопасность и живучесть, реплицируемые автоматы, последовательная согласованность данных[10].
2014 Флаг США Майкл Стоунбрейкер За фундаментальный вклад в принципы и практики, лежащие в основаниях современных систем управления базами данных[11].
2015 Флаг США Уитфилд Диффи
Флаг США Мартин Хеллман 		За фундаментальный вклад в криптографию[12].
2016 Флаг Великобритании Тим Бернерс-Ли За изобретение Всемирной паутины, первого веб-браузера и основополагающих протоколов и алгоритмов, повлиявших на распространение Интернета[13].
2017 Флаг США Джон Хеннесси
Флаг США Дэвид Паттерсон 		За новаторский систематический и измеримый подход к проектированию и проверке компьютерных архитектур, оказавший долговременное влияние всю отрасль микропроцессорной техники[14].
2018 Флаг Канады Йошуа Бенжио
Флаг Великобритании Джеффри Хинтон
Флаг Франции Ян Лекун 		За концептуальные и инженерные прорывы, сделавшие глубинные нейросети краеугольным компонентом в вычислительной технике[15].
2019 Флаг США Эд Катмулл
Флаг США Пэт Ханрахан 		За фундаментальный вклад в развитие 3D-графики и революционное влияние на компьютерную графику в кинематографе и других приложениях[16].
2020 Флаг Канады Альфред Ахо
Флаг США Джеффри Ульман 		За формирование основ компиляции и алгоритмики для языков программирования[17].
2021 Флаг США Джек Донгарра За новаторский вклад в библиотеки численных методов, позволивший суперкомпьютерному программному обеспечению на протяжении четырёх десятилетий идти в ногу с экспоненциальным развитием оборудования[18].
2022 Флаг США Роберт Меткалф За изобретение, стандартизацию и коммерциализацию сетей Ethernet[19].

Примечания[править | править код]

  1. ↑ http://amturing.acm.org/byyear.cfm
  2. ↑ A. M. Turing Award (недоступная ссылка — история). ACM. Дата обращения: 5 ноября 2007. Архивировано 13 февраля 2012 года.
  3. ↑ Brown, Bob. Why there's no Nobel Prize in Computing (англ.). Network World (6 июня 2011). Дата обращения: 1 июня 2022. Архивировано 22 октября 2016 года.
  4. ↑ Google to Provide All Funding for Most Prestigious Award in Computing (англ.), Ассоциация вычислительной техники (13 November 2014). Архивировано 29 ноября 2014 года. Дата обращения: 21 ноября 2014. «ACM (the Association for Computing Machinery) is today announcing that the funding level for the ACM A.M. Turing Award is now $1,000,000, to be provided by Google Inc».
  5. ↑ Денёжная награда за премию Тьюринга почти сравнялась с Нобелевской (рус.), OSZone (21 ноября 2014). Архивировано 25 ноября 2014 года. Дата обращения: 21 ноября 2014.
  6. ↑ Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента Архивная копия от 21 февраля 2009 на Wayback Machine.
  7. ↑ ACM Award Citation / Leslie G Valiant.
  8. ↑ Turing Award 2011. Judea Pearl. Дата обращения: 19 марта 2012. Архивировано 26 августа 2017 года.
  9. ↑ Turing award 2012 (англ.) (недоступная ссылка — история). ACM. Дата обращения: 18 марта 2013. Архивировано 21 марта 2013 года.
  10. ↑ Turing award 2013 (англ.). ACM (18 марта 2014). Дата обращения: 18 марта 2014. Архивировано 18 марта 2014 года.
  11. ↑ Pioneer in Database Systems Architecture Receives ACM’s Highest Honor. For fundamental contributions to the concepts and practices underlying modern database systems. (англ.). ACM (25 марта 2015). Дата обращения: 25 марта 2015. Архивировано из оригинала 25 марта 2015 года.
  12. ↑ Cryptography Pioneers Receive Acm A.M. Turing Award Архивная копия от 4 марта 2016 на Wayback Machine.
  13. ↑ Sir Tim Berners-Lee (англ.). ACM. Дата обращения: 12 апреля 2017. Архивировано 6 апреля 2017 года.
  14. ↑ John L. Hennesy (англ.). ACM. Дата обращения: 21 марта 2018. Архивировано 22 марта 2018 года.
  15. ↑ Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award (англ.). ACM (27 марта 2019). Дата обращения: 27 марта 2019. Архивировано 23 августа 2021 года.
  16. ↑ Pioneers of Modern Computer Graphics Recognized with ACM A.M. Turing Award (англ.). ACM (23 марта 2020). Дата обращения: 23 марта 2020.
  17. ↑ ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms (англ.). ACM (31 марта 2021). Дата обращения: 31 марта 2021. Архивировано 7 октября 2021 года.
  18. ↑ ACM Turing Award Honors Jack J. Dongarra for Pioneering Concepts and Methods Which Have Resulted in World-Changing Computations (англ.). ACM (31 марта 2022). Дата обращения: 2 апреля 2022. Архивировано 1 апреля 2022 года.
  19. ↑ ACM A.M. Turing Award Honors Bob Metcalfe for Invention, Standardization, and Commercialization of Ethernet (англ.). ACM (22 марта 2023). Дата обращения: 22 марта 2023.

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

Источник — https://ru.ruwiki.ru/w/index.php?title=Премия_Тьюринга&oldid=1175963298