Премия Тьюринга (англ. 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   Сильвио Микали
  Шафи Гольдвассер
За новаторские работы по вероятностному шифрованию[en] (в том числе, первую вероятностную криптосистему с открытым ключом) и работы по применению доказательств с нулевым разглашением в криптографических протоколах[7].
2013   Лесли Лэмпорт За фундаментальный вклад в теорию и практику распределённых и взаимодействующих систем, отмеченный открытием таких понятий, как причинность и логические часы, безопасность и живучесть, реплицируемые автоматы, последовательная согласованность данных[8].
2014   Майкл Стоунбрейкер За фундаментальный вклад в принципы и практики, лежащие в основаниях современных систем управления базами данных[9].
2015   Уитфилд Диффи
  Мартин Хеллман
За фундаментальный вклад в криптографию[10].
2016   Тим Бернерс-Ли За изобретение Всемирной паутины, первого веб-браузера и основополагающих протоколов и алгоритмов, повлиявших на распространение Интернета[11].

Тьюринговская лекцияПравить

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

ПримечанияПравить

  1. A. M. Turing Award. ACM. Проверено 5 ноября 2007. Архивировано 13 февраля 2012 года.
  2. Google to Provide All Funding for Most Prestigious Award in Computing (англ.), Ассоциация вычислительной техники (13 November 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».
  3. Денёжная награда за премию Тьюринга почти сравнялась с Нобелевской (рус.), OSZone (21 ноября 2014). Проверено 21 ноября 2014.
  4. Объявлены лауреаты ежегодной Премии Тьюринга — Наука и техника — Компьюлента.
  5. ACM Award Citation / Leslie G Valiant.
  6. Turing Award 2011. Judea Pearl
  7. Turing award 2012 (англ.). ACM. Архивировано 21 марта 2013 года.
  8. Turing award 2013 (англ.). ACM (18 марта 2014).
  9. 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).
  10. Cryptography Pioneers Receive Acm A.M. Turing Award.
  11. Sir Tim Berners-Lee (англ.). ACM. Проверено 12 апреля 2017.

СсылкиПравить