Премия Тьюринга: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Stannic (обсуждение | вклад) отмена правки 84375288 участника 94.29.124.188 (обс.) |
|||
Строка 29: | Строка 29: | ||
![[1969]] |
![[1969]] |
||
|{{США}} [[Минский, Марвин Ли|Марвин Минский]] |
|{{США}} [[Минский, Марвин Ли|Марвин Минский]] |
||
|''За пионерские работы по проблеме [[Искусственный интеллект|искусственного интеллекта]]'' |
|||
| |
|||
|- |
|- |
||
![[1970]] |
![[1970]] |
Версия от 08:43, 20 марта 2017
Премия Тьюринга (англ. Turing Award) — самая престижная премия в информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.
Статус и порядок присуждения
Премия учреждена Ассоциацией вычислительной техники в честь выдающегося английского учёного Алана Тьюринга, получившего первые глубокие результаты относительно вычислимости задолго до появления первых электронных вычислительных машин.
Премия ежегодно вручается одному или нескольким специалистам в области информатики и вычислительной техники, чей вклад в этой области оказал сильное и продолжительное влияние на компьютерное сообщество[1]. Премия может быть присуждена одному человеку не более одного раза. В сфере информационных технологий премия Тьюринга имеет статус, аналогичный Нобелевской премии в академических науках. Впервые Премия Тьюринга была присуждена в 1966 году Алану Перлису за развитие технологии создания компиляторов.
В 2000-е годы премиальный фонд спонсировался корпорациями Intel и Google, ежегодный размер премии составлял $250 тыс., с 2014 года ежегодный призовой фонд увеличен до $1 млн, а компания Google стала единственным спонсором премии[2][3].
Лауреаты премии Тьюринга
Год | Лауреат | Причина присуждения |
---|---|---|
1966 | Алан Дж. Перлис | За его влияние в области обобщенных техник программирования и построения компиляторов |
1967 | Морис Уилкс | Профессор Уилкс более всего известен как проектировщик EDSAC, первого компьютера, допускающего внутреннее хранение программ. Построенный в 1949, EDSAC использовал память на линиях задержки. Он также известен, в соавторстве с Виллером и Гиллом как автор книги «Preparation of Programs for Electronic Digital Computers», 1951 года, в которой вводится важнейшее понятие библиотеки |
1968 | Ричард Хэмминг | За работы в области численных методов, систем автоматического кодирования, кодов определения и корректировки ошибок |
1969 | Марвин Минский | За пионерские работы по проблеме искусственного интеллекта |
1970 | Джеймс Уилкинсон | За его исследования в области численного анализа, способствовавшие использованию высокоскоростных цифровых компьютеров, приобретшие особое значение в свете его работ по вычислениям в линейной алгебре и «обратному» анализу ошибок |
1971 | Джон Мак-Карти | Лекция доктора Мак-Карти «Современное состояние исследований по искусственному интеллекту» освещает состояние дел в области, которая обязана многими существенными успехами его работам |
1972 | Эдсгер Дейкстра | Эдсгеру Дейкстре принадлежит значительный вклад в конце 1950-х годов в разработку языка АЛГОЛ, язык программирования высокого уровня, ставший воплощением ясности и математической строгости. Он один из ярчайших представителей науки и искусства языков программирования во всей их общности, а также человек во многом способствовавший пониманию их структуры, представления и реализации. Его публикации в течение пятнадцати лет охватывают широкий спектр тем от теоретических статей по теории графов до базовых руководств, описаний и философских размышлений в области языков программирования |
1973 | Чарльз Бахман | За его выдающийся вклад в технологии баз данных |
1974 | Дональд Кнут | За его огромный вклад в анализ алгоритмов, разработку языков программирования, и в особенности за создание широко известной серии книг под общим названием «Искусство программирования» |
1975 | Аллен Ньюэлл Герберт Саймон |
Их общие усилия в течение двадцати лет, вначале совместно с Дж. К. Шоу, в составе корпорации RAND, впоследствии вместе с профессорско-преподавательским составом и студенческими группами университета Карнеги — Меллон, ознаменовались фундаментальным вкладом в искусственный интеллект, психологию механизмов человеческого восприятия и обработку списков |
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 | Уле-Йохан Даль Кристен Нюгор |
За идеи, фундаментальные для развития объектно-ориентированного программирования, возникшие в ходе разработки языков программирования Simula I и Simula 67 |
2002 | Рональд Л. Ривест Ади Шамир Леонард М. Адлеман |
За уникальный вклад по увеличению практической пользы систем шифрования с открытым ключом |
2003 | Алан Кэй | За многочисленные новаторские идеи, которые легли в основу современных объектно-ориентированных языков, руководство командой разработчиков языка Smalltalk и за фундаментальный вклад в развитие области ПК |
2004 | Винтон Серф Роберт Кан |
За пионерскую работу по проблеме межсетевого обмена (англ. internetworking), включая разработку и реализацию основных Интернет-протоколов, TCP/IP и за ведущую роль в области компьютерных сетей |
2005 | Питер Наур | За фундаментальный вклад в проектирование языков программирования и создание языка Алгол 60, а также в проектирование компиляторов, и в искусство и технику компьютерного программирования |
2006 | Френсис Э. Аллен | За новаторский вклад в теорию и практику оптимизации компьютерных программ, послуживший основой для современных оптимизирующих компиляторов и автоматическому распараллеливанию программ |
2007 | Эдмунд М. Кларк Аллен Эмерсон Иосиф Сифакис |
За их роль в развитии проверки моделей — высоко эффективную технику верификации программ, широко применяемую при разработке как программного так и аппаратного обеспечения[4] |
2008 | Барбара Лисков | За вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений. |
2009 | Чарльз Текер | За новаторскую разработку и создание Альто, первого современного персонального компьютера, а также за его вклад в технологию Ethernet и развитие планшетных персональных компьютеров. |
2010 | Лесли Вэлиант | За вклад в теорию алгоритмов, включая не указано название статьи, теорию сложности перечисления и алгебраических исчислений, а также теорию параллельных и распределённых вычислений.[5] |
2011 | Джуда Перл | За фундаментальный вклад в искусственный интеллект посредством разработки исчисления для проведения вероятностных и причинно-следственных рассуждений (англ. calculus for probabilistic and causal reasoning)[6] |
2012 | Сильвио Микали Шафи Гольдвассер |
За новаторские работы по вероятностному шифрованию[англ.] (в том числе, первую вероятностную криптосистему с открытым ключом) и работы по применению доказательств с нулевым разглашением в криптографических протоколах[7]. |
2013 | Лесли Лэмпорт | За фундаментальный вклад в теорию и практику распределённых и взаимодействующих систем, отмеченный открытием таких понятий, как причинность и логические часы, безопасность и живучесть, реплицируемые автоматы, последовательная согласованность данных[8]. |
2014 | Майкл Стоунбрейкер | За фундаментальный вклад в принципы и практики, лежащие в основаниях современных систем управления базами данных[9]. |
2015 | Уитфилд Диффи Мартин Хеллман |
За фундаментальный вклад в криптографию[10]. |
Тьюринговская лекция
По традиции, лауреат премии Тьюринга при вручении её выступает с докладом, именуемым «Тьюринговская лекция». В этой лекции обычно идёт речь о тех вопросах компьютерной науки, теории и практики использования вычислительной техники, которые лауреат считает достаточно важными, чтобы поделиться своим мнением о них с как можно большим числом специалистов.
См. также
Примечания
- ↑ A. M. Turing Award . ACM. Дата обращения: 5 ноября 2007. Архивировано 13 февраля 2012 года.
- ↑ "Google to Provide All Funding for Most Prestigious Award in Computing" (PDF) (англ.). Ассоциация вычислительной техники. 2014-11-13. Дата обращения: 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
- ↑ "Денёжная награда за премию Тьюринга почти сравнялась с Нобелевской". OSZone. 2014-11-21. Дата обращения: 21 ноября 2014.
- ↑ Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента
- ↑ ACM Award Citation / Leslie G Valiant
- ↑ Turing Award 2011. Judea Pearl
- ↑ Turing award 2012 (англ.). ACM. Архивировано 21 марта 2013 года.
- ↑ Turing award 2013 (англ.). ACM (18 марта 2014).
- ↑ 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).
- ↑ Cryptography Pioneers Receive Acm A.M. Turing Award
Ссылки
- Полунов Ю. Л. Лауреаты премии Тьюринга за период с 1966 по 2004 гг. // История вычислительной техники за рубежом. 14.11.2005
- Лауреаты премии Тьюринга (презентации) // ПетрГУ. 2012—2013