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

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

Премия названа в честь Алана Тьюринга , который был британским математиком и читателем в математике в Университете Манчестера . Тьюринга часто называют ключевым основателем теоретической информатики и искусственного интеллекта . [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 , MODULA и Pascal .
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 г.Эдвин КэтмеллЗа фундаментальный вклад в 3-D компьютерную графику и революционное влияние этих методов на компьютерные изображения (CGI) в кинопроизводстве и других приложениях. [49]
Пэт Ханрахан

См. Также [ править ]

  • Список наград ACM
  • Список наград в области информатики
  • Список премий, известных как Нобелевские премии
  • Список призов имен людей
  • IEEE Медаль Джона фон Неймана
  • Лекция Тьюринга
  • Нобелевская премия
  • Приз Шока
  • Приз Неванлинны
  • Премия Канеллакиса
  • Премия тысячелетия в области технологий

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

  1. ^ a b Cacm Staff (2014). «Премия Тьюринга ACM увеличена до 1 миллиона долларов». Коммуникации ACM . 57 (12): 20. DOI : 10,1145 / 2685372 .
  2. ^ a b «Премия AM Тьюринга» . ACM. Архивировано из оригинала на 2009-12-12 . Проверено 5 ноября 2007 .
  3. ^ Дасгупта, Санджой; Пападимитриу, Христос ; Вазирани, Умеш (2008). Алгоритмы . Макгроу-Хилл . п. 317 . ISBN 978-0-07-352340-8.
  4. ^ Библиография лекций премии Тьюринга , DBLP
  5. ^ Geringer, Стивен (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. Архивировано из оригинала на 2015-11-23 . Проверено 13 ноября 2014 .
  9. ^ «Первая женщина, получившая премию ACM Turing» (пресс-релиз). Ассоциация вычислительной техники. 21 февраля 2007 года в архив с оригинала на 2 июля 2007 года . Проверено 5 ноября 2007 .
  10. Перейти ↑ Perlis, AJ (1967). «Синтез алгоритмических систем». Журнал ACM . 14 : 1–9. DOI : 10.1145 / 321371.321372 . S2CID 12937998 . 
  11. Перейти ↑ Wilkes, MV (1968). «Компьютеры тогда и сейчас». Журнал ACM . 15 : 1–7. DOI : 10.1145 / 321439.321440 . S2CID 9846847 . 
  12. ^ Хэмминг, RW (1969). «Взгляд одного человека на компьютерные науки». Журнал ACM . 16 : 3–12. DOI : 10.1145 / 321495.321497 . S2CID 6868310 . 
  13. ↑ Минский, М. (1970). «Форма и содержание в компьютерных науках (лекция 1970 ACM)». Журнал ACM . 17 (2): 197–215. DOI : 10.1145 / 321574.321575 . S2CID 15661281 . 
  14. ^ Уилкинсон, JH (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. Перейти ↑ Dijkstra, EW (1972). «Скромный программист» . Коммуникации ACM . 15 (10): 859–866. DOI : 10.1145 / 355604.361591 .
  17. Перейти ↑ Bachman, 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. Перейти ↑ Rabin, MO (1977). «Сложность вычислений» . Коммуникации ACM . 20 (9): 625–633. DOI : 10.1145 / 359810.359816 .
  22. ^ Скотт, DS (1977). «Логика и языки программирования» . Коммуникации ACM . 20 (9): 634–641. DOI : 10.1145 / 359810.359826 .
  23. Перейти ↑ Backus, J. (1978). «Можно ли освободить программирование от стиля фон Неймана ?: Функциональный стиль и его алгебра программ» . Коммуникации ACM . 21 (8): 613–641. DOI : 10.1145 / 359576.359579 .
  24. Перейти ↑ Floyd, RW (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. Перейти ↑ Hoare, CAR (1981). «Старая одежда императора» . Коммуникации ACM . 24 (2): 75–83. DOI : 10.1145 / 358549.358561 .
  27. Перейти ↑ Codd, 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. Перейти ↑ Milner, R. (1993). «Элементы взаимодействия: лекция о премии Тьюринга» . Коммуникации ACM . 36 : 78–89. DOI : 10.1145 / 151233.151240 .
  32. Перейти ↑ Stearns, RE (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. Архивировано из оригинала на 2013-03-18.
  41. ^ "Премия Тьюринга 2013" . ACM.
  42. ^ Лампорт, L. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Коммуникации ACM . 21 (7): 558–565. CiteSeerX 10.1.1.155.4742 . DOI : 10.1145 / 359545.359563 . S2CID 215822405 .   
  43. ^ "Премия Тьюринга 2014" . ACM.
  44. ^ Diffie, W .; Хеллман, М. (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 года.

Внешние ссылки [ править ]

  • ACM Хронологический список лауреатов Тьюринга
  • Визуализация лауреатов премии Тьюринга
  • Празднование столетия премии ACM AM Turing
  • Интервью лауреата премии ACM AM Turing
  • Празднование 50-летия премии ACM AM Turing