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

Премия ACM AM Turing - это ежегодная премия, присуждаемая Ассоциацией вычислительной техники (ACM) за вклад, « имеющий длительное и важное техническое значение для компьютерной области». [2] Это общепризнанная высшая награда в области информатики и известна как « Нобелевская премия по вычислительной технике » или часто ее называют . [3] [4] [5] [6]

Премия ACM Тьюринга
Статуя Тьюринга-Блетчли 11.jpg
Присуждается за Выдающийся вклад в информатику
Страна Соединенные Штаты
Представлено Ассоциация вычислительной техники (ACM)
Награда (ы) 1 000 000 долларов США [1]
Первый награжден 1966 ; 55 лет назад А ( 1966 )
Последний награжден 2020 г.
Веб-сайт amturing .acm .org

Премия названа в честь Алана Тьюринга , который был британским математиком и читателем в математике в Университете Манчестера . Тьюринга часто считают ключевым основателем теоретической информатики и искусственного интеллекта . [7] С 2007 по 2013 годы награда сопровождалась дополнительным призом в размере 250 000 долларов США при финансовой поддержке Intel и Google . [2] С 2014 года к награде прилагается приз в размере 1 миллиона долларов США при финансовой поддержке Google. [1] [8]

Первым получателем в 1966 году был Алан Перлис из Университета Карнеги-Меллона . Первой женщиной-получателем была Фрэнсис Э. Аллен из IBM в 2006 году [9].

Редактировать

Год Получатель Фото Обоснование
1966 г. Алан Перлис За его влияние в области передовых методов компьютерного программирования и создания компиляторов . [10]
1967 Морис Уилкс   Уилкс наиболее известен как создатель и разработчик EDSAC , первого компьютера с программой, хранящейся внутри . Построенный в 1949 году, EDSAC использовал память с ртутной линией задержки . Он также известен как автор вместе с Уилером и Гиллом тома «Подготовка программ для электронных цифровых компьютеров» в 1951 году, в котором были эффективно представлены программные библиотеки . [11]
1968 г. Ричард Хэмминг За его работу над численными методами , системами автоматического кодирования, кодами для обнаружения и исправления ошибок. [12]
1969 г. Марвин Мински   За его центральную роль в создании, формировании, продвижении и развитии искусственного интеллекта . [13]
1970 г. Джеймс Х. Уилкинсон За свои исследования в области численного анализа для облегчения использования высокоскоростного цифрового компьютера, получив особое признание за его работу в вычислениях в линейной алгебре и "обратном" анализе ошибок. [14]
1971 г. Джон Маккарти   Лекция Маккарти «Современное состояние исследований в области искусственного интеллекта» - это тема, которая охватывает область, в которой он добился значительного признания своей работы. [15]
1972 г. Эдсгер В. Дейкстра   Эдсгер Дейкстра был главным вкладчиком в конце 1950 - х годов развитие Алголом , высокого уровня языка программирования , который стал образцом ясности и математической строгости. Он является одним из главных сторонников науки и искусства языков программирования в целом и внес большой вклад в наше понимание их структуры, представления и реализации. Его пятнадцать лет публикаций простираются от теоретических статей по теории графов до базовых руководств, пояснительных текстов и философских размышлений в области языков программирования. [16]
1973 Чарльз Бахман   За выдающийся вклад в технологию баз данных . [17]
1974 г. Дональд Кнут   За его большой вклад в анализ алгоритмов и разработку языков программирования, и в частности за его вклад в « Искусство компьютерного программирования » через его известные книги из непрерывной серии под этим названием. [18]
1975 г. Аллен Ньюэлл Совместными научными усилиями, длившимися более двадцати лет, первоначально в сотрудничестве с Джей Си Шоу из корпорации RAND , а затем с многочисленными преподавателями и студентами Университета Карнеги-Меллона , они внесли основной вклад в искусственный интеллект, психологию человеческого познания и перечислили обработка. [19]
Герберт А. Саймон  
1976 г. Майкл О. Рабин   За их совместную статью «Конечные автоматы и их проблема принятия решений» [20], в которой была представлена идея недетерминированных машин , которая оказалась чрезвычайно ценной концепцией. Их классическая статья (Скотт и Рабин) была постоянным источником вдохновения для дальнейшей работы в этой области. [21] [22]
Дана Скотт  
1977 г. Джон Бэкус   За глубокий, влиятельный и продолжительный вклад в разработку практических систем программирования высокого уровня, в частности за его работу над FORTRAN , и за плодотворную публикацию формальных процедур для спецификации языков программирования . [23]
1978 г. Роберт В. Флойд За четкое влияние на методологии создания эффективного и надежного программного обеспечения и за помощь в создании следующих важных областей информатики : теория синтаксического анализа , семантика языков программирования, автоматическая проверка программ , автоматический синтез программ и анализ. алгоритмов . [24]
1979 г. Кеннет Э. Айверсон   За его новаторские усилия в языках программирования и математической нотации, которые привели к тому, что компьютерная область теперь известна как APL , за его вклад в реализацию интерактивных систем, в образовательное использование APL, а также в теорию и практику языков программирования. [25]
1980 г. Тони Хоар   За фундаментальный вклад в определение и разработку языков программирования. [26]
1981 г. Эдгар Ф. Кодд За фундаментальный и постоянный вклад в теорию и практику систем управления базами данных, в особенности. реляционные базы данных . [27]
1982 г. Стивен Кук   За его значительный и глубокий прогресс в понимании сложности вычислений. [28]
1983 г. Кен Томпсон   За развитие общей теории операционных систем и, в частности, за реализацию операционной системы UNIX . [29] [30]
Деннис Ричи  
1984 Никлаус Вирт   Для разработки последовательности инновационных компьютерных языков: EULER , ALGOL-W , Pascal , MODULA и Oberon .
1985 г. Ричард М. Карп   За его постоянный вклад в теорию алгоритмов, включая разработку эффективных алгоритмов для сетевого потока и других задач комбинаторной оптимизации, идентификацию вычислимости за полиномиальное время с интуитивным понятием алгоритмической эффективности и, в первую очередь, за вклад в теорию NP -полнота .
1986 г. Джон Хопкрофт   За фундаментальные достижения в разработке и анализе алгоритмов и структур данных.
Роберт Тарджан  
1987 г. Джон Кок За значительный вклад в разработку и теорию компиляторов, архитектуру больших систем и разработку компьютеров с сокращенным набором команд (RISC).
1988 г. Иван Сазерленд   За его новаторский и дальновидный вклад в компьютерную графику , начиная со Sketchpad и продолжая после.
1989 г. Уильям Кахан   За фундаментальный вклад в численный анализ . Один из ведущих экспертов по вычислениям с плавающей запятой . Кахан посвятил себя «тому, чтобы сделать мир безопасным для численных вычислений».
1990 г. Фернандо Дж. Корбатó   За свою новаторскую работу по организации концепций и руководству разработкой универсальных, крупномасштабных компьютерных систем с разделением времени и ресурсов, CTSS и Multics .
1991 г. Робин Милнер За три отдельных и полных достижения: 1) LCF , механизация логики вычислимых функций Скотта, вероятно, первый теоретически обоснованный, но практический инструмент для машинного построения доказательств ; 2) ML , первый язык, который включает вывод полиморфного типа вместе с типобезопасным механизмом обработки исключений ; 3) CCS , общая теория параллелизма . Кроме того, он сформулировал и сильно продвинул полную абстракцию , исследование взаимосвязи между операционной и денотационной семантикой . [31]
1992 г. Батлер В. Лэмпсон   За вклад в разработку распределенных персональных вычислительных сред и технологий для их реализации: рабочие станции , сети , операционные системы , системы программирования, дисплеи , безопасность и публикация документов .
1993 г. Юрис Хартманис   В знак признания их основополагающей статьи, заложившей основы теории сложности вычислений . [32]
Ричард Э. Стернс  
1994 г. Эдвард Фейгенбаум   За новаторство в разработке и создании крупномасштабных систем искусственного интеллекта, демонстрирующих практическую важность и потенциальное коммерческое влияние технологий искусственного интеллекта. [33]
Радж Редди  
1995 г. Мануэль Блюм   В знак признания его вклада в основы теории сложности вычислений и ее применения в криптографии и проверке программ . [34]
1996 г. Амир Пнуэли   За основополагающую работу по внедрению темпоральной логики в информатику и за выдающийся вклад в проверку программ и систем . [35]
1997 г. Дуглас Энгельбарт   За вдохновляющее видение будущего интерактивных вычислений и изобретение ключевых технологий, которые помогут реализовать это видение. [36]
1998 г. Джим Грей   За плодотворный вклад в исследования базы данных и обработки транзакций и за техническое лидерство во внедрении системы.
1999 г. Фредерик П. Брукс   За выдающийся вклад в компьютерную архитектуру , операционные системы и разработку программного обеспечения .
2000 г. Эндрю Яо   В знак признания его фундаментального вклада в теорию вычислений , включая основанную на сложности теорию генерации псевдослучайных чисел , криптографию и сложность связи .
2001 г. Оле-Йохан Даль За идеи, лежащие в основе появления объектно-ориентированного программирования , посредством разработки языков программирования Simula I и Simula 67 .
Кристен Найгаард  
2002 г. Рон Ривест   Для их гениального вклада для принятия шифрования с открытым ключом полезно на практике.
Ади Шамир  
Леонард Адлеман  
2003 г. Алан Кей   За новаторство многих идей, лежащих в основе современных объектно-ориентированных языков программирования , за руководство командой, разработавшей Smalltalk , и за фундаментальный вклад в персональные вычисления.
2004 г. Винт Серф   За новаторскую работу в области межсетевого взаимодействия , включая разработку и реализацию основных протоколов связи в Интернете , TCP / IP , и за вдохновенное лидерство в области сетей.
Боб Кан  
2005 г. Питер Наур   За фундаментальный вклад в разработку языков программирования и определение АЛГОЛА 60 , в разработку компиляторов , а также в искусство и практику компьютерного программирования.
2006 г. Фрэнсис Э. Аллен   За новаторский вклад в теорию и практику методов оптимизации компиляторов, которые заложили основу для современных оптимизирующих компиляторов и автоматического параллельного выполнения.
2007 г. Эдмунд М. Кларк   За их роль в разработке проверки моделей в высокоэффективную технологию проверки, широко применяемую в индустрии аппаратного и программного обеспечения. [37]
Э. Аллен Эмерсон
Джозеф Сифакис  
2008 г. Барбара Лисков   За вклад в практические и теоретические основы языка программирования и проектирования систем, особенно связанных с абстракцией данных, отказоустойчивостью и распределенными вычислениями.
2009 г. Чарльз П. Такер   За новаторский дизайн и реализацию Xerox Alto , первого современного персонального компьютера, а также за его вклад в развитие Ethernet и планшетных ПК.
2010 г. Лесли Валиант   За преобразующий вклад в теорию вычислений , включая теорию вероятного приблизительно правильного ( PAC ) обучения, сложность перечисления и алгебраических вычислений, а также теорию параллельных и распределенных вычислений.
2011 г. Жемчужина Иудеи [38]   За фундаментальный вклад в развитие искусственного интеллекта за счет развития теории вероятностных и причинных рассуждений. [39]
2012 г. Сильвио Микали   За преобразующую работу, заложившую теоретико-сложную основу науки о криптографии и в процессе разработки новых методов эффективной проверки математических доказательств в теории сложности. [40]
Шафи Гольдвассер  
2013 Лесли Лэмпорт   За фундаментальный вклад в теорию и практику распределенных и параллельных систем, в частности за изобретение таких понятий, как причинность и логические часы, безопасность и живучесть, реплицированные конечные автоматы и последовательная согласованность. [41] [42]
2014 г. Майкл Стоунбрейкер   За фундаментальный вклад в концепции и практики, лежащие в основе современных систем баз данных. [43]
2015 г. Уитфилд Диффи   За фундаментальный вклад в современную криптографию. В новаторской статье 1976 года Диффи и Хеллмана «Новые направления в криптографии» [44] были представлены идеи криптографии с открытым ключом и цифровых подписей, которые являются основой для наиболее часто используемых сегодня протоколов безопасности в Интернете. [45]
Мартин Хеллман  
2016 г. Тим Бернерс-Ли   За изобретение всемирной паутины , первого веб-браузера , а также основных протоколов и алгоритмов, позволяющих масштабировать сеть. [46]
2017 г. Джон Л. Хеннесси   За новаторство в систематическом количественном подходе к проектированию и оценке компьютерных архитектур с длительным влиянием на микропроцессорную промышленность. [47]
Дэвид Паттерсон  
2018 г. Йошуа Бенжио   За концептуальные и инженерные прорывы, которые сделали глубокие нейронные сети критически важным компонентом вычислений. [48]
Джеффри Хинтон  
Янн ЛеКун  
2019 г. Эдвин Кэтмелл   За фундаментальный вклад в трехмерную компьютерную графику и революционное влияние этих методов на компьютерные изображения (CGI) в кинопроизводстве и других приложениях. [49]
Пэт Ханрахан  
2020 г. Альфред Ахо   Для фундаментальных алгоритмов и теории, лежащих в основе реализации языка программирования, и для синтеза этих и других результатов в их очень влиятельных книгах, которые образовали поколения компьютерных ученых. [50]
Джеффри Уллман

Редактировать

Редактировать

  1. ^ a b Персонал Cacm (2014). «Премия ACM Turing Award увеличена до 1 миллиона долларов». Коммуникации ACM . 57 (12): 20. DOI : 10,1145 / 2685372 .
  2. ^ а б «Премия А. М. Тьюринга» . ACM. Архивировано из оригинала 12 декабря 2009 года . Проверено 5 ноября 2007 года .
  3. ^ Дасгупта, Санджой; Пападимитриу, Христос ; Вазирани, Умеш (2008). Алгоритмы . Макгроу-Хилл . стр  317 . ISBN 978-0-07-352340-8.
  4. ^ Библиография лекций премии Тьюринга , DBLP
  5. ^ Геринджер, Стивен (27 июля 2007 г.). «Премия ACM Тьюринга увеличена до 250 000 долларов» . Пресс-релиз ACM . Архивировано из оригинала на 30 декабря 2008 года . Проверено 16 октября 2008 года .
  6. ^ См. Также: Браун, Боб (6 июня 2011 г.). «Почему нет Нобелевской премии в области вычислительной техники» . Сетевой мир . Проверено 3 июня 2015 года .
  7. ^ Гомер, Стивен и Алан Л. (2001). Теория вычислимости и сложности . стр. 35. ISBN 978-0-387-95055-6. Проверено 5 ноября 2007 года .
  8. ^ «Премия ACM Тьюринга увеличена до 1 миллиона долларов» . ACM. Архивировано из оригинального 23 ноября 2015 года . Проверено 13 ноября 2014 года .
  9. ^ «Первая женщина, получившая премию ACM Turing» (пресс-релиз). Ассоциация вычислительной техники. 21 февраля 2007 года в архив с оригинала на 2 июля 2007 года . Проверено 5 ноября 2007 года .
  10. ^ Перлис, AJ (1967). «Синтез алгоритмических систем». Журнал ACM . 14 : 1–9. DOI : 10.1145 / 321371.321372 . S2CID  12937998 .
  11. ^ Уилкс, М.В. (1968). «Компьютеры тогда и сейчас». Журнал ACM . 15 : 1–7. DOI : 10.1145 / 321439.321440 . S2CID  9846847 .
  12. ^ Хэмминг, Р.В. (1969). «Взгляд одного человека на информатику». Журнал ACM . 16 : 3–12. DOI : 10.1145 / 321495.321497 . S2CID  6868310 .
  13. ^ Минский, М. (1970). "Форма и содержание в компьютерных науках (лекция ACM 1970 г.)". Журнал ACM . 17 (2): 197– 215. DOI : 10.1145 / 321574.321575 . S2CID  15661281 .
  14. ^ Уилкинсон, Дж. Х (1971). «Некоторые комментарии численного аналитика». Журнал ACM . 18 (2): 137–147. DOI : 10.1145 / 321637.321638 . S2CID  37748083 .
  15. ^ Маккарти, Дж. (1987). «Универсальность в искусственном интеллекте» . Коммуникации ACM . 30 (12): 1030–1035. DOI : 10.1145 / 33447.33448 . S2CID  1045033 .
  16. ^ Дейкстра, EW (1972). «Скромный программист» . Коммуникации ACM . 15 (10): 859–866. DOI : 10.1145 / 355604.361591 .
  17. ^ Бахман, CW (1973). «Программист как навигатор» . Коммуникации ACM . 16 (11): 653–658. DOI : 10.1145 / 355611.362534 .
  18. ^ Knuth, DE (1974). «Компьютерное программирование как искусство» . Коммуникации ACM . 17 (12): 667–673. DOI : 10.1145 / 361604.361612 .
  19. ^ Newell, A .; Саймон, HA (1976). «Информатика как эмпирическое исследование: символы и поиск» . Коммуникации ACM . 19 (3): 113. DOI : 10,1145 / 360018,360022 .
  20. ^ Рабин, Миссури; Скотт, Д. (1959). «Конечные автоматы и проблемы их решения» . Журнал исследований и разработок IBM . 3 (2): 114. DOI : 10,1147 / rd.32.0114 . S2CID  3160330 .
  21. ^ Рабин, МО (1977). «Сложность вычислений» . Коммуникации ACM . 20 (9): 625–633. DOI : 10.1145 / 359810.359816 .
  22. ^ Скотт, Д.С. (1977). «Логика и языки программирования» . Коммуникации ACM . 20 (9): 634–641. DOI : 10.1145 / 359810.359826 .
  23. ^ Бэкус, Дж. (1978). «Можно ли освободить программирование от стиля фон Неймана ?: Функциональный стиль и его алгебра программ» . Коммуникации ACM . 21 (8): 613–641. DOI : 10.1145 / 359576.359579 .
  24. ^ Флойд, Р.В. (1979). «Парадигмы программирования» . Коммуникации ACM . 22 (8): 455–460. DOI : 10.1145 / 359138.359140 .
  25. ^ Айверсон, KE (1980). «Обозначение как инструмент мысли» . Коммуникации ACM . 23 (8): 444–465. DOI : 10.1145 / 358896.358899 .
  26. ^ Хоар, ЦАР (1981). «Старая одежда императора» . Коммуникации ACM . 24 (2): 75–83. DOI : 10.1145 / 358549.358561 .
  27. ^ Кодд, EF (1982). «Реляционная база данных: практическая основа производительности» . Коммуникации ACM . 25 (2): 109–117. DOI : 10.1145 / 358396.358400 .
  28. ^ Кук, SA (1983). «Обзор вычислительной сложности» . Коммуникации ACM . 26 (6): 400–408. DOI : 10.1145 / 358141.358144 .
  29. ^ «Лауреат премии AM Тьюринга - Кеннет Лейн Томпсон» . amturing.acm.org . Проверено 4 ноября 2018 года .
  30. ^ «Лауреат премии AM Тьюринга - Деннис М. Ричи» . amturing.acm.org . Проверено 4 ноября 2018 года .
  31. ^ Милнер, Р. (1993). «Элементы взаимодействия: лекция о премии Тьюринга» . Коммуникации ACM . 36 : 78–89. DOI : 10.1145 / 151233.151240 .
  32. ^ Стернс, Р. Э. (1994). «Лекция по Премии Тьюринга: пора пересмотреть время» . Коммуникации ACM . 37 (11): 95–99. DOI : 10.1145 / 188280.188379 .
  33. ^ Редди, Р. (1996). «Видеть во сне возможный сон» . Коммуникации ACM . 39 (5): 105–112. DOI : 10.1145 / 229459.233436 .
  34. ^ «Лауреат премии AM Тьюринга - Мануэль Блюм» . amturing.acm.org . Проверено 4 ноября 2018 года .
  35. ^ «Лауреат премии AM Тьюринга - Амир Пнуэли» . amturing.acm.org . Проверено 4 ноября 2018 года .
  36. ^ «Лауреат премии AM Тьюринга - Дуглас Энгельбарт» . amturing.acm.org . Проверено 4 ноября 2018 года .
  37. ^ 2007 Turing Award Объявлены победители
  38. ^ Жемчуг, Иудея (2011). Механизация причинного вывода: «мини» тест Тьюринга и не только (mp4) . Лекции ACM Turing Award . DOI : 10.1145 / 1283920 . ISBN 978-1-4503-1049-9.
  39. ^ «Жемчужина Иудеи» . ACM.
  40. ^ «Премия Тьюринга 2012» . ACM. Архивировано из оригинального 18 марта 2013 года .
  41. ^ «Премия Тьюринга 2013» . ACM.
  42. ^ Лэмпорт, Л. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Коммуникации ACM . 21 (7): 558–565. CiteSeerX  10.1.1.155.4742 . DOI : 10.1145 / 359545.359563 . S2CID  215822405 .
  43. ^ «Премия Тьюринга 2014» . ACM.
  44. ^ Диффи, В .; Хеллман, М. (1976). «Новые направления в криптографии» (PDF) . IEEE Transactions по теории информации . 22 (6): 644–654. CiteSeerX  10.1.1.37.9720 . DOI : 10.1109 / TIT.1976.1055638 .
  45. ^ «Пионеры криптографии получают премию ACM AM Turing 2015» . ACM.
  46. ^ «Премия Тьюринга 2016» . ACM.
  47. ^ «Пионеры современной компьютерной архитектуры получают премию ACM AM Turing» . ACM.
  48. ^ Отцы революции глубокого обучения получают премию ACM AM Turing
  49. ^ Пионеры современной компьютерной графики отмечены премией ACM AM Turing - инновации Ханрахана и Кэтмалла проложили путь для сегодняшних трехмерных анимационных фильмов . Проверено 19 марта 2020 года.
  50. ^ Премия ACM Turing награждает новаторов, которые сформировали основы компиляторов языков программирования и алгоритмов . Проверено 31 марта 2021 года.

Редактировать