Премия Тьюринга
Премия Тьюринга ACM | |
---|---|
Награжден за | Выдающийся вклад в информатику |
Страна | Соединенные Штаты |
Представлено | Ассоциация вычислительной техники |
Награда(ы) | 1 000 000 долларов США [1] |
Первая награда | 1966 год |
Последняя награда | 2023 |
Веб-сайт | любительский туризм |
Премия Тьюринга ACM AM — это ежегодная премия, вручаемая Ассоциацией вычислительной техники (ACM) за вклад, имеющий большое техническое значение в информатику . [2] Она общепризнана как высшая награда в области информатики и часто упоминается как « Нобелевская премия по информатике ». [3] [4] [5]
Премия названа в честь Алана Тьюринга , британского математика и преподавателя математики в Манчестерском университете . Тьюринга часто называют основателем теоретической информатики и искусственного интеллекта . [6] и внес ключевой вклад в криптоанализ союзников шифра «Энигма» во время Второй мировой войны . [7]
С 2007 по 2013 год награда сопровождалась премией в размере 250 000 долларов США при финансовой поддержке Intel и Google . [2] [8] С 2014 года награда сопровождается премией в размере 1 миллиона долларов США при финансовой поддержке Google. [1] [9]
Первым лауреатом в 1966 году стал Алан Перлис из Университета Карнеги-Меллон . Самым молодым лауреатом стал Дональд Кнут , выигравший в 1974 году в возрасте 36 лет. [10] а самым старшим лауреатом был Альфред Ахо , победивший в 2020 году в возрасте 79 лет. [11] Премии удостоились только три женщины: Фрэнсис Аллен (в 2006 г.), [12] Барбара Лисков (в 2008 г.), [13] и Шафи Гольдвассер (в 2012 г.). [14] По состоянию на 2024 год [update]Премии были удостоены 77 человек, причем последним лауреатом в 2023 году стал Ави Вигдерсон . [15]
Получатели
[ редактировать ]Год | Получатель(и) | Фото | Обоснование | Дочерние институты |
---|---|---|---|---|
1966 | Алан Перлис | — | «За его влияние в области передовых методов компьютерного программирования и компиляторов » построения [16] [17] | Университет Карнеги-Меллон |
1967 | Морис Уилкс | «Уилкс наиболее известен как создатель и разработчик EDSAC , второго компьютера с внутренней программой . Построенный в 1949 году, EDSAC использовал ртутную память с линией задержки . Он также известен как автор вместе с Дэвидом Уилером и Стэнли Гиллом. , тома «Подготовка программ для электронных цифровых компьютеров» в 1951 году, в котором библиотеки программ ». были эффективно представлены [18] [19] | Кембриджский университет | |
1968 | Ричард Хэмминг | — | «За работу над численными методами , системами автоматического кодирования, а также кодами, обнаруживающими и исправляющими ошибки ». [20] [21] | Белл Лаборатории |
1969 | Марвин Мински | «За его центральную роль в создании, формировании, продвижении и развитии области искусственного интеллекта » [22] [23] | Массачусетский технологический институт | |
1970 | Джеймс Х. Уилкинсон | — | «За исследования в области численного анализа, призванные облегчить использование высокоскоростного цифрового компьютера, получив особое признание за свою работу в области вычислений в области линейной алгебры и «обратного» анализа ошибок» [24] [25] | Национальная физическая лаборатория |
1971 | Джон Маккарти | «Лекция Маккарти «Современное состояние исследований искусственного интеллекта» — это тема, охватывающая область, в которой его работа добилась значительного признания». [26] [27] | Стэнфордский университет | |
1972 | Эдсгер В. Дейкстра | «Эдсгер Дейкстра внес основной вклад в разработку в конце 1950-х годов АЛГОЛА , высокого уровня языка программирования , который стал образцом ясности и математической строгости. Он является одним из главных сторонников науки и искусства языков программирования в в целом и внес большой вклад в наше понимание их структуры, представления и реализации. Его пятнадцатилетние публикации простираются от теоретических статей по теории графов до основных руководств, поясняющих текстов и философских размышлений в области языков программирования». [28] [29] | Центр математики и информатики , Эйндховенский технологический университет , Техасский университет в Остине | |
1973 | Чарльз Бахман | «За выдающийся вклад в технологию баз данных » [30] [31] | Исследовательская лаборатория General Electric (сейчас принадлежит Groupe Bull , компании Atos ) | |
1974 | Дональд Кнут | «За его большой вклад в анализ алгоритмов и разработку языков программирования, и в частности за его вклад в « Искусство компьютерного программирования » через его известные книги из непрерывной серии под этим названием» [32] [33] | Калифорнийский технологический институт , Центр коммуникационных исследований, Центр коммуникаций и вычислений, Институт оборонного анализа , Стэнфордский университет | |
1975 | Аллен Ньюэлл | — | «В ходе совместных научных усилий, продолжавшихся более двадцати лет, сначала в сотрудничестве с Дж. К. Шоу из корпорации RAND , а затем с многочисленными преподавателями и студентами-коллегами из Университета Карнеги-Меллона , они внесли фундаментальный вклад в искусственный интеллект, психологию человеческого познания и обработка списка ». [34] [35] [36] | РЭНД Корпорация , Университет Карнеги-Меллон |
Герберт А. Саймон | ||||
1976 | Майкл О. Рабин | «За совместную статью « Конечные автоматы и проблема их решения» [37] который представил идею недетерминированных машин , непрерывный источник вдохновения для последующих работ в этой области». [38] [39] [40] [41] | Принстонский университет | |
Дана Скотт | Чикагский университет | |||
1977 | Джон Бэкус | «За глубокий, влиятельный и продолжительный вклад в разработку практических систем программирования высокого уровня, особенно за работу над FORTRAN , а также за плодотворную публикацию формальных процедур спецификации языков программирования » [42] [43] | ИБМ | |
1978 | Роберт В. Флойд | — | «За явное влияние на методологии создания эффективного и надежного программного обеспечения, а также за помощь в создании следующих важных разделов информатики : теория синтаксического анализа , семантика языков программирования, автоматическая верификация программ , автоматический синтез программ и анализ алгоритмов » [44] | Университет Карнеги-Меллон , Стэнфордский университет |
1979 | Кеннет Э. Айверсон | — | «За его новаторские усилия в области языков программирования и математической записи, приведшие к тому, что в области вычислений теперь известно как APL , за его вклад в реализацию интерактивных систем, в образовательное использование APL, а также в теорию и практику языков программирования» [45] [46] | ИБМ |
1980 | Тони Хоар | «За фундаментальный вклад в определение и разработку языков программирования» [47] [48] | Королевский университет Белфаста , Оксфордский университет | |
1981 | Эдгар Ф. Кодд | — | «За фундаментальный и постоянный вклад в теорию и практику систем управления базами данных, особенно реляционных баз данных » [49] [50] | ИБМ |
1982 | Стивен Кук | «За значительное и глубокое продвижение нашего понимания сложности вычислений» [51] [52] | Университет Торонто | |
1983 | Кен Томпсон | «За разработку общей теории операционных систем и, в частности, за реализацию операционной системы UNIX » [53] [54] | Белл Лаборатории | |
Деннис Ричи | ||||
1984 | Никлаус Вирт | «За разработку ряда инновационных компьютерных языков EULER , ALGOL-W , Pascal , MODULA и Oberon » [55] | Стэнфордский университет , Цюрихский университет , ETH Цюрих | |
1985 | Ричард М. Карп | «За его постоянный вклад в теорию алгоритмов, включая разработку эффективных алгоритмов для сетевых потоков и других задач комбинаторной оптимизации , отождествление вычислимости за полиномиальное время с интуитивным понятием алгоритмической эффективности и, что особенно важно, за вклад в теорию NP-полнота » [56] | Калифорнийский университет, Беркли | |
1986 | Джон Хопкрофт | «За фундаментальные достижения в разработке и анализе алгоритмов и структур данных» [57] [58] | Корнелльский университет | |
Роберт Тарьян | Стэнфордский университет , Корнелльский университет , Калифорнийский университет, Беркли , Принстонский университет | |||
1987 | Джон Кок | — | «За значительный вклад в проектирование и теорию компиляторов , архитектуру больших систем и разработку компьютеров с сокращенным набором команд (RISC)» [59] | ИБМ |
1988 | Иван Сазерленд | «За новаторский и дальновидный вклад в компьютерную графику , начиная с Sketchpad и продолжая после него» [60] | Стэнфордский университет , Гарвардский университет , Университет Юты , Калифорнийский технологический институт | |
1989 | Уильям Кахан | «За фундаментальный вклад в численный анализ . Один из ведущих экспертов по вычислениям с плавающей запятой , Кахан посвятил себя «сделать мир безопасным для числовых вычислений!»» [61] | Калифорнийский университет, Беркли | |
1990 | Фернандо Х. Корбато | «За новаторскую работу по организации концепций и руководству разработкой универсальных, крупномасштабных компьютерных систем с разделением времени и ресурсов, CTSS и Multics » [62] | Массачусетский технологический институт | |
1991 | Робин Милнер | — | «За три отдельных и полных достижения:
Кроме того, он сформулировал и сильно продвинул полную абстракцию , исследование взаимосвязи между операционной и денотационной семантикой ». [63] [64] | Стэнфордский университет , Эдинбургский университет |
1992 | Батлер Лэмпсон | «За вклад в развитие распределенных, персональных вычислительных сред и технологий их реализации: рабочих станций , сетей , операционных систем , систем программирования, дисплеев , безопасности и публикации документов » [65] | ПАРК , Декабрь | |
1993 | Юрис Хартманис | «В знак признания их плодотворной работы, заложившей основы теории сложности вычислений » [66] [67] [68] | Исследовательская лаборатория General Electric (сейчас принадлежит Groupe Bull , компании Atos ) | |
Ричард Э. Стернс | ||||
1994 | Эдвард Фейгенбаум | «За новаторство в разработке и создании крупномасштабных систем искусственного интеллекта, демонстрацию практической важности и потенциального коммерческого эффекта технологии искусственного интеллекта» [69] [70] [71] | Стэнфордский университет | |
Радж Редди | Стэнфордский университет , Университет Карнеги-Меллон | |||
1995 | Мануэль Блюм | «В знак признания его вклада в основы теории сложности вычислений и ее применения в криптографии и проверке программ » [72] | Калифорнийский университет, Беркли | |
1996 | Амир Пнуэли | «За плодотворную работу по внедрению темпоральной логики в информатику и за выдающийся вклад в верификацию программ и систем » [73] | Стэнфордский университет , Тель-Авивский университет , Научный институт Вейцмана , Курантовский институт математических наук | |
1997 | Дуглас Энгельбарт | «За вдохновляющее видение будущего интерактивных вычислений и изобретение ключевых технологий, которые помогут реализовать это видение» [74] | НИИ Интернешнл , Тимшер , Макдоннелл Дуглас , Институт Бутстрап/Альянс, [75] Институт Дуга Энгельбарта | |
1998 | Джим Грей | «За плодотворный вклад в исследования баз данных и обработки транзакций , а также техническое лидерство во внедрении системы» [76] | ИБМ , Майкрософт | |
1999 | Фред Брукс | «За выдающийся вклад в компьютерную архитектуру , операционные системы и разработку программного обеспечения» [77] | ИБМ , Университет Северной Каролины в Чапел-Хилл | |
2000 | Эндрю Яо | «В знак признания его фундаментального вклада в теорию вычислений , включая основанную на сложности теорию генерации псевдослучайных чисел , криптографию и сложность связи » [78] | Стэнфордский университет , Калифорнийский университет, Беркли , Принстонский университет | |
2001 | Оле-Йохан Даль | — | «За идеи, фундаментальные для возникновения объектно-ориентированного программирования , посредством разработки языков программирования Simula I и Simula 67 » [79] [80] | Норвежский вычислительный центр , Университет Осло |
Кристен Найгаард | ||||
2002 | Рон Ривест | «За гениальный вклад в криптографии с открытым ключом » практическое использование [81] [82] [83] | Массачусетский технологический институт | |
Ади Шамир | ||||
Леонард Адлеман | Университет Южной Калифорнии | |||
2003 | Алан Кей | «За разработку многих идей, лежащих в основе современных объектно-ориентированных языков программирования , руководство командой, разработавшей Smalltalk , и за фундаментальный вклад в развитие персональных компьютеров» [84] | Университет Юты , ПАРК , Стэнфордский университет , Атари , Эппл АТГ , Уолт Дисней Воображения , Научно-исследовательский институт «Точки зрения» , HP Лаборатории | |
2004 | Винт Серф | «За новаторскую работу в области межсетевых сетей , включая разработку и внедрение основных протоколов связи Интернета TCP/IP , а также за вдохновенное лидерство в области сетевых технологий» [85] [86] | Калифорнийский университет, Лос-Анджелес , Стэнфордский университет , DARPA , MCI (сейчас под управлением Verizon ), CNRI , Google | |
Боб Кан | Массачусетский технологический институт , Болт Беранек и Ньюман , ДАРПА , CNRI | |||
2005 | Питер Науэр | «За фундаментальный вклад в разработку языков программирования и определение АЛГОЛА 60 , в разработку компиляторов , а также в искусство и практику компьютерного программирования» [87] | Regnecentralen (сейчас под управлением Fujitsu ), Копенгагенский университет | |
2006 | Фрэнсис Аллен | «За новаторский вклад в теорию и практику методов оптимизации компиляторов, заложивший основу для современных оптимизирующих компиляторов и автоматического параллельного выполнения» [88] | ИБМ | |
2007 | Эдмунд М. Кларк | «За их роль в разработке проверки моделей в высокоэффективной технологии проверки, широко используемой в отрасли аппаратного и программного обеспечения» [89] [90] [91] [92] | Гарвардский университет , Университет Карнеги-Меллон | |
Э. Аллен Эмерсон | Гарвардский университет , Техасский университет в Остине | |||
Джозеф Сифакис | Французский национальный центр научных исследований | |||
2008 | Барбара Лисков | «За вклад в практические и теоретические основы языка программирования и проектирования систем, особенно связанные с абстракцией данных , отказоустойчивостью и распределенными вычислениями » [13] | Массачусетский технологический институт | |
2009 | Чарльз П. Такер | «За новаторский дизайн и реализацию Xerox Alto , первого современного персонального компьютера, а также за вклад в развитие Ethernet и планшетных ПК ». [93] | ПАРК , ДЕК , Microsoft Исследования | |
2010 | Лесли Валиант | «За революционный вклад в теорию вычислений , включая теорию вероятно приблизительно правильного обучения ( PAC ), сложность перечисления и алгебраических вычислений , а также теорию параллельных и распределенных вычислений» [94] | Гарвардский университет | |
2011 | Иудея Перл | «За фундаментальный вклад в искусственный интеллект посредством развития вероятностного и причинно-следственного анализа» [95] [96] | Калифорнийский университет, Лос-Анджелес , Технологический институт Нью-Джерси | |
2012 | Сильвио Микали | «За преобразовательную работу, которая заложила основы теории сложности для науки криптографии и в процессе разработала новые методы эффективной проверки математических доказательств в теории сложности» [14] [97] [98] | Массачусетский технологический институт | |
Шафи Гольдвассер | Массачусетский технологический институт , Научный институт Вейцмана | |||
2013 | Лесли Лэмпорт | «За фундаментальный вклад в теорию и практику распределенных и параллельных систем, в частности за изобретение таких концепций, как причинность и логические часы, безопасность и жизнеспособность, реплицируемые конечные автоматы и последовательная согласованность ». [99] [100] [101] | Massachusetts Computer Associates (сейчас под управлением Essig PLM), НИИ Интернешнл , ДЕК , Compaq (сейчас под управлением HP ), Microsoft Исследования | |
2014 | Майкл Стоунбрейкер | «За фундаментальный вклад в концепции и практики, лежащие в основе современных систем баз данных» [102] [103] | Калифорнийский университет, Беркли , Массачусетский технологический институт | |
2015 | Уитфилд Диффи | «За фундаментальный вклад в современную криптографию. Инновационная статья Диффи и Хеллмана 1976 года «Новые направления в криптографии»» [104] представил идеи криптографии с открытым ключом и цифровых подписей, которые сегодня являются основой наиболее часто используемых протоколов безопасности в Интернете». [105] [106] | Стэнфордский университет | |
Мартин Хеллман | ||||
2016 | Тим Бернерс-Ли | «За изобретение Всемирной паутины , первого веб-браузера , а также фундаментальных протоколов и алгоритмов, позволяющих масштабировать Интернет» [107] | ЦЕРН , Массачусетский технологический институт , Консорциум Всемирной паутины | |
2017 | Джон Л. Хеннесси | «За разработку систематического, количественного подхода к проектированию и оценке компьютерных архитектур, оказавшего долгосрочное влияние на микропроцессорную промышленность» [108] [109] [110] | Стэнфордский университет | |
Дэвид Паттерсон | Калифорнийский университет, Беркли | |||
2018 | Джошуа Бенджио | «За концептуальные и инженерные прорывы, которые сделали глубокие нейронные сети важнейшим компонентом вычислений» [111] [112] [113] [114] | Университет Монреаля , Университет Макгилла , Я хотел бы | |
Джеффри Хинтон | Университет Торонто , Калифорнийский университет, Сан-Диего , Университет Карнеги-Меллон , Университетский колледж Лондона , Эдинбургский университет , Google ИИ | |||
Янн ЛеКун | Университет Торонто , Лаборатории Белла , Курантовский институт математических наук , Нью-Йоркский университет , Мета ИИ | |||
2019 | Эдвин Кэтмалл | «За фундаментальный вклад в компьютерную 3D-графику и революционное влияние этих методов на компьютерные изображения (CGI) в кинопроизводстве и других приложениях» [115] [116] [117] | Университет Юты , Пиксар , Анимационные студии Уолта Диснея | |
Пэт Ханрахан | Пиксар , Принстонский университет , Стэнфордский университет | |||
2020 | Альфред Ахо | — | «За фундаментальные алгоритмы и теорию, лежащие в основе реализации языков программирования, а также за синтез этих и других результатов в их очень влиятельных книгах, которые воспитали поколения ученых-компьютерщиков» [118] [119] [120] | Лаборатории Белла , Колумбийский университет |
Джеффри Уллман | — | Лаборатории Белла , Принстонский университет , Стэнфордский университет | ||
2021 | Джек Донгарра | «За новаторский вклад в числовые алгоритмы и библиотеки, которые позволили высокопроизводительному вычислительному программному обеспечению идти в ногу с экспоненциальным усовершенствованием аппаратного обеспечения на протяжении более четырех десятилетий» [121] [122] | Аргоннская национальная лаборатория , Окриджская национальная лаборатория , Манчестерский университет , Техасского университета A&M Институт перспективных исследований , Университет Теннесси , Университет Райса | |
2022 | Роберт Меткалф | «За изобретение, стандартизацию и коммерциализацию Ethernet » [123] | Массачусетский технологический институт , Гарвардский университет , Xerox PARC , Техасский университет в Остине | |
2023 | Ави Вигдерсон | «За изменение нашего понимания роли случайности в вычислениях и за десятилетия интеллектуального лидерства в теоретической информатике» [15] | Институт перспективных исследований , Принстонский университет , Еврейский университет в Иерусалиме |
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б Сотрудники CACM (2014). «Премия Тьюринга ACM увеличена до 1 миллиона долларов» . Коммуникации АКМ . 57 (12): 20. дои : 10.1145/2685372 .
- ^ Jump up to: а б «Премия А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 12 декабря 2009 года . Проверено 5 ноября 2007 г.
- ^ Дасгупта, Санджой; Пападимитриу, Христос ; Вазирани, Умеш (2008). Алгоритмы . МакГроу-Хилл . п. 317 . ISBN 978-0-07-352340-8 .
- ^ «dblp: Лекции на премию ACM Тьюринга» . informatik.uni-trier.de . Архивировано из оригинала 2 января 2015 года . Проверено 11 февраля 2023 г.
- ^ Браун, Боб (6 июня 2011 г.). «Почему нет Нобелевской премии по информатике» . Сетевой мир . Архивировано из оригинала 4 декабря 2023 года . Проверено 3 июня 2015 г.
- ^ Гомер, Стивен и Алан Л. (2001). Теория вычислимости и сложности . Спрингер. п. 35. ISBN 978-0-387-95055-6 . Архивировано из оригинала 3 апреля 2023 года . Проверено 5 ноября 2007 г.
- ^ Коупленд, Джек (18 июня 2012 г.). «Алан Тьюринг: взломщик кодов, спасший «миллионы жизней» » . BBC News Technology. Архивировано из оригинала 11 октября 2014 года . Проверено 26 октября 2014 г.
- ^ Герингер, Стивен (27 июля 2007 г.). «Премия Тьюринга ACM увеличена до 250 000 долларов» . АКМ Пресс-релиз . Архивировано из оригинала 30 декабря 2008 года . Проверено 16 октября 2008 г.
- ^ «Премия Тьюринга ACM увеличена до 1 миллиона долларов» . Ассоциация вычислительной техники . Архивировано из оригинала 23 ноября 2015 года . Проверено 13 ноября 2014 г.
- ^ Чжункай Шангуань; Цзихэ Чжэн; Цзебо Ло (2021). «Какой человек получит премию Тьюринга?». п. 1. arXiv : 2104.05636 [ cs.GL ].
Самым молодым победителем стал Дональд Кнут, который убедил жюри своей работой «Компьютерное программирование как искусство» и получил премию Тьюринга в 1974 году в возрасте 36 лет.
- ^ Уильям Л. Хош. «Премия Тьюринга» . Британская энциклопедия . Архивировано из оригинала 5 февраля 2024 года . Проверено 12 марта 2024 г.
- ^ «Первая женщина, получившая премию Тьюринга ACM» (пресс-релиз). Ассоциация вычислительной техники. 21 февраля 2007. Архивировано из оригинала 2 июля 2007 года . Проверено 5 ноября 2007 г.
- ^ Jump up to: а б Том ван Флек. «Барбара Лисков — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 9 ноября 2021 года . Проверено 4 марта 2024 г.
- ^ Jump up to: а б Чарльз Ракофф. «Шафи Гольдвассер — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 17 февраля 2024 года . Проверено 4 марта 2024 г.
- ^ Jump up to: а б «Ави Вигдерсон из Института перспективных исследований стал лауреатом премии ACM AM Тьюринга 2023 года» . Награды.acm.org . Архивировано из оригинала 10 апреля 2024 года . Проверено 10 апреля 2024 г.
- ^ Перлис, Эй Джей (1967). «Синтез алгоритмических систем» . Журнал АКМ . 14 : 1–9. дои : 10.1145/321371.321372 . S2CID 12937998 .
- ^ Дэвид Нофр. «Алан Дж. Перлис - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 26 апреля 2012 года . Проверено 4 марта 2024 г.
- ^ Уилкс, М.В. (1968). «Компьютеры тогда и сейчас» . Журнал АКМ . 15 : 1–7. дои : 10.1145/321439.321440 . S2CID 9846847 .
- ^ Мартин Кэмпбелл-Келли. «Морис В. Уилкс - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 7 января 2024 года . Проверено 4 марта 2024 г.
- ^ Хэмминг, RW (1969). «Взгляд одного человека на информатику» . Журнал АКМ . 16 :3–12. дои : 10.1145/321495.321497 . S2CID 6868310 .
- ^ Эдмунд Ф. Робертсон. «Ричард В. Хэмминг - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 30 октября 2020 года . Проверено 4 марта 2024 г.
- ^ Минский, М. (1970). «Форма и содержание в информатике (лекция Тьюринга ACM 1970 г.)» . Журнал АКМ . 17 (2): 197–215. дои : 10.1145/321574.321575 . S2CID 15661281 .
- ^ Патрик Генри Уинстон. «Марвин Мински — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 28 ноября 2023 года . Проверено 4 марта 2024 г.
- ^ Уилкинсон, Дж. Х. (1971). «Некоторые комментарии численного аналитика» . Журнал АКМ . 18 (2): 137–147. дои : 10.1145/321637.321638 . S2CID 37748083 .
- ^ Бересфорд Нил Парлетт. «Джеймс Харди («Джим») Уилкинсон — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 5 января 2024 года . Проверено 4 марта 2024 г.
- ^ Маккарти, Дж. (1987). «Общее в искусственном интеллекте» . Коммуникации АКМ . 30 (12): 1030–1035. дои : 10.1145/33447.33448 . S2CID 1045033 . Архивировано из оригинала 21 сентября 2017 года . Проверено 1 ноября 2017 г.
- ^ Лестер Эрнест. «Джон Маккарти — лауреат премии А.М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 3 сентября 2016 года . Проверено 4 марта 2024 г.
- ^ Дейкстра, EW (1972). «Скромный программист» . Коммуникации АКМ . 15 (10): 859–866. дои : 10.1145/355604.361591 .
- ^ Гамильтон Ричардс. «Эдсгер Вайбе Дейкстра - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 26 февраля 2024 года . Проверено 4 марта 2024 г.
- ^ Бахман, CW (1973). «Программист как навигатор» . Коммуникации АКМ . 16 (11): 653–658. дои : 10.1145/355611.362534 .
- ^ Томас Хейг. «Чарльз Уильям Бахман — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 2 октября 2020 года . Проверено 4 марта 2024 г.
- ^ Кнут, DE (1974). «Компьютерное программирование как искусство» . Коммуникации АКМ . 17 (12): 667–673. дои : 10.1145/361604.361612 .
- ^ Дэвид Уолден. «Дональд («Дон») Эрвин Кнут — лауреат премии А.М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 17 октября 2019 года . Проверено 4 марта 2024 г.
- ^ Ньюэлл, А.; Саймон, ХА (1976). «Информатика как эмпирическое исследование: символы и поиск» . Коммуникации АКМ . 19 (3): 113. дои : 10.1145/360018.360022 .
- ^ Хантер Хейк. «Аллен Ньюэлл — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 16 октября 2020 года . Проверено 4 марта 2024 г.
- ^ Хантер Хейк. «Герберт («Херб») Александр Саймон — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 18 апреля 2021 года . Проверено 4 марта 2024 г.
- ^ Рабин, Миссури; Скотт, Д. (1959). «Конечные автоматы и проблемы их решения». Журнал исследований и разработок IBM . 3 (2): 114. дои : 10.1147/р.32.0114 . S2CID 3160330 .
- ^ Рабин, Миссури (1977). «Сложность вычислений» . Коммуникации АКМ . 20 (9): 625–633. дои : 10.1145/359810.359816 .
- ^ Скотт, DS (1977). «Логика и языки программирования» . Коммуникации АКМ . 20 (9): 634–641. дои : 10.1145/359810.359826 .
- ^ «Майкл О. Рабин - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 28 ноября 2023 года . Проверено 4 марта 2024 г.
- ^ «Дана Стюард Скотт — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 26 февраля 2024 года . Проверено 4 марта 2024 г.
- ^ Бэкус, Дж. (1978). «Можно ли программирование освободить от стиля фон Неймана?: Функциональный стиль и его алгебра программ» . Коммуникации АКМ . 21 (8): 613–641. дои : 10.1145/359576.359579 .
- ^ Грейди Буч. «Джон Бэкус — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 5 января 2024 года . Проверено 4 марта 2024 г.
- ^ Флойд, RW (1979). «Парадигмы программирования» . Коммуникации АКМ . 22 (8): 455–460. дои : 10.1145/359138.359140 .
- ^ Айверсон, Кентукки (1980). «Нотация как инструмент мышления» . Коммуникации АКМ . 23 (8): 444–465. дои : 10.1145/358896.358899 .
- ^ Кейт Смилли. «Кеннет Э. («Кен») Айверсон — лауреат премии А.М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 3 апреля 2019 года . Проверено 4 марта 2024 г.
- ^ Хоар, ЦАР (1981). «Старая одежда императора» . Коммуникации АКМ . 24 (2): 75–83. дои : 10.1145/358549.358561 .
- ^ Клифф Джонс. «К. Энтони («Тони») Р. Хоар — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 1 июля 2012 года . Проверено 4 марта 2024 г.
- ^ Кодд, Э.Ф. (1982). «Реляционная база данных: практическая основа производительности» . Коммуникации АКМ . 25 (2): 109–117. дои : 10.1145/358396.358400 .
- ^ Си Джей Дата. «Эдгар Ф. («Тед») Кодд — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 23 декабря 2017 года . Проверено 4 марта 2024 г.
- ^ Кук, С.А. (1983). «Обзор вычислительной сложности» . Коммуникации АКМ . 26 (6): 400–408. дои : 10.1145/358141.358144 .
- ^ Брюс Капрон. «Стивен Артур Кук — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 21 октября 2019 года . Проверено 4 марта 2024 г.
- ^ Том Ван Флек. «Лауреат премии AM Тьюринга - Кеннет Лейн Томпсон» . Ассоциация вычислительной техники . Архивировано из оригинала 9 августа 2019 года . Проверено 4 ноября 2018 г.
- ^ Том Ван Флек. «Лауреат премии А. М. Тьюринга - Деннис М. Ричи» . Ассоциация вычислительной техники . Архивировано из оригинала 20 октября 2021 года . Проверено 4 ноября 2018 г.
- ^ Томас Хейг. «Никлаус Э. Вирт - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 29 июня 2017 года . Проверено 4 марта 2024 г.
- ^ Б. Саймонс; Д. Гасфилд. «Ричард («Дик») Мэннинг Карп — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 4 июля 2017 года . Проверено 4 марта 2024 г.
- ^ «Джон Э. Хопкрофт — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 27 октября 2021 года . Проверено 4 марта 2024 г.
- ^ В. Кинг. «Роберт (Боб) Эндре Тарьян — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 30 октября 2017 года . Проверено 4 марта 2024 г.
- ^ Майкл Г. Берк; Вивек Саркар. «Джон Кок — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 года . Проверено 4 марта 2024 г.
- ^ Роберт Бертон. «Иван Сазерленд — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 года . Проверено 4 марта 2024 г.
- ^ Томас Хейг. «Уильям («Велвел») Мортон Кахан — лауреат премии А.М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 года . Проверено 4 марта 2024 г.
- ^ Т. Ван Флек. «Фернандо Дж. («Корби») Корбато — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 года . Проверено 4 марта 2024 г.
- ^ Милнер, Р. (1993). «Элементы взаимодействия: лекция на премию Тьюринга» . Коммуникации АКМ . 36 : 78–89. дои : 10.1145/151233.151240 .
- ^ Майкл Фурман. «Артур Джон Робин Горелл («Робин») Милнер — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 17 ноября 2021 года . Проверено 4 марта 2024 г.
- ^ Рой Левин. «Батлер В. Лэмпсон — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 года . Проверено 4 марта 2024 г.
- ^ Стернс, RE (1994). «Лекция на премию Тьюринга: пора пересмотреть время» . Коммуникации АКМ . 37 (11): 95–99. дои : 10.1145/188280.188379 .
- ^ Аллан Бородин. «Юрис Хартманис — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 21 января 2024 года . Проверено 4 марта 2024 г.
- ^ «Ричард («Дик») Эдвин Стернс — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 21 января 2024 года . Проверено 4 марта 2024 г.
- ^ Редди, Р. (1996). «Мечтать о возможной мечте» . Коммуникации АКМ . 39 (5): 105–112. дои : 10.1145/229459.233436 .
- ^ Нильс Дж. Нильссон. «Эдвард А. («Эд») Фейгенбаум — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 22 января 2024 года . Проверено 4 марта 2024 г.
- ^ Нильс Дж. Нильссон. «Даббала Раджагопал («Радж») Редди — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 10 декабря 2023 года . Проверено 4 марта 2024 г.
- ^ Христос Х. Пападимитриу. «Лауреат премии А. М. Тьюринга – Мануэль Блюм» . Ассоциация вычислительной техники . Архивировано из оригинала 23 октября 2021 года . Проверено 4 ноября 2018 г.
- ^ Ленор Цук. «Лауреат премии А. М. Тьюринга - Амир Пнуэли» . Ассоциация вычислительной техники . Архивировано из оригинала 20 октября 2021 года . Проверено 4 ноября 2018 г.
- ^ Тьерри Бардини. «Лауреат премии А. М. Тьюринга - Дуглас Энгельбарт» . Ассоциация вычислительной техники . Архивировано из оригинала 4 июля 2017 года . Проверено 4 ноября 2018 г.
- ^ «Институт Дуга Энгельбарта» . Институт Дуга Энгельбарта . Архивировано из оригинала 14 июля 2012 года . Проверено 17 июня 2012 г.
- ^ Пол МакДжонс. «Джеймс («Джим») Николас Грей — лауреат премии А.М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 года . Проверено 4 марта 2024 г.
- ^ Грейди Буч. «Фредерик («Фред») Брукс — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 года . Проверено 4 марта 2024 г.
- ^ Брюс Капрон. «Эндрю Чи-Чи Яо — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 3 июля 2017 года . Проверено 4 марта 2024 г.
- ^ Эндрю П. Блэк. «Оле-Йохан Даль — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 12 октября 2021 года . Проверено 4 марта 2024 г.
- ^ Оле Лерман Мэдсен. «Кристен Найгаард — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 28 ноября 2023 года . Проверено 4 марта 2024 г.
- ^ «Рональд (Рон) Линн Ривест — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 11 октября 2021 года . Проверено 4 марта 2024 г.
- ^ «Ади Шамир — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 10 декабря 2023 года . Проверено 4 марта 2024 г.
- ^ Йозеф Бебель; Шан-Хуа Тэн. «Леонард (Лен) Макс Адлеман — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 3 октября 2023 года . Проверено 4 марта 2024 г.
- ^ Сьюзан Б. Барнс. «Алан Кей — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 11 октября 2021 года . Проверено 4 марта 2024 г.
- ^ Джанет Эббейт. «Винтон («Винт») Грей Серф — лауреат премии А.М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 11 октября 2021 года . Проверено 4 марта 2024 г.
- ^ Джанет Эббейт. «Роберт (Боб) Эллиот Кан - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 13 июля 2019 года . Проверено 4 марта 2024 г.
- ^ Эдгар Г. Дневной свет. «Питер Наур — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 12 июня 2018 года . Проверено 4 марта 2024 г.
- ^ Гай Стил. «Фрэнсис («Фрэн») Элизабет Аллен — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 7 апреля 2022 года . Проверено 4 марта 2024 г.
- ^ «Объявлены лауреаты премии Тьюринга 2007 года» . Архивировано из оригинала 2 ноября 2009 года . Проверено 9 декабря 2008 г.
- ^ Тед Киркпатрик. «Эдмунд Мелсон Кларк - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 4 января 2024 года . Проверено 4 марта 2024 г.
- ^ Томас Валь. «Э. Аллен Эмерсон — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 26 февраля 2024 года . Проверено 4 марта 2024 г.
- ^ Кристиан С. Калуде. «Джозеф Сифакис — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 28 ноября 2023 года . Проверено 4 марта 2024 г.
- ^ «Чарльз П. (Чак) Такер - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 10 октября 2021 года . Проверено 4 марта 2024 г.
- ^ «Лесли Габриэль Валиант — лауреат премии А.М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 17 ноября 2021 года . Проверено 4 марта 2024 г.
- ^ Перл, Иудея (2007). Лекции на премию ACM Тьюринга (mp4) . дои : 10.1145/1283920 . ISBN 978-1-4503-1049-9 . Архивировано из оригинала 21 октября 2020 года . Проверено 16 ноября 2020 г.
- ^ Стюарт Дж. Рассел. «Иудейская жемчужина — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 26 августа 2017 года . Проверено 15 марта 2012 г.
- ^ «Премия Тьюринга 2012» . Ассоциация вычислительной техники . Архивировано из оригинала 18 марта 2013 года.
- ^ Ави Вигдерсон. «Сильвио Микали — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 11 декабря 2023 года . Проверено 4 марта 2024 г.
- ^ «Премия Тьюринга 2013» . Ассоциация вычислительной техники . Архивировано из оригинала 16 января 2016 года . Проверено 18 марта 2014 г.
- ^ Лэмпорт, Л. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Коммуникации АКМ . 21 (7): 558–565. CiteSeerX 10.1.1.155.4742 . дои : 10.1145/359545.359563 . S2CID 215822405 . Архивировано (PDF) из оригинала 31 октября 2008 г. Проверено 28 августа 2015 г.
- ^ Далия Малхи; Мартин Абади; Хагит Аттия; Идит Кейдар; Нэнси Линч; Нир Шавит; Джордж Варгезе; Лен Шустек. «Лесли Лэмпорт — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 1 июня 2023 года . Проверено 4 марта 2024 г.
- ^ «Премия Тьюринга 2014» . Ассоциация вычислительной техники . Архивировано из оригинала 3 июля 2017 года . Проверено 25 марта 2015 г.
- ^ Томас Хейг. «Майкл Стоунбрейкер — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 25 января 2024 года . Проверено 4 марта 2024 г.
- ^ Диффи, В.; Хеллман, М. (1976). «Новые направления в криптографии» (PDF) . Транзакции IEEE по теории информации . 22 (6): 644–654. CiteSeerX 10.1.1.37.9720 . дои : 10.1109/TIT.1976.1055638 . Архивировано (PDF) из оригинала 3 декабря 2017 г. Проверено 4 марта 2016 г.
- ^ «Пионеры криптографии получают премию Тьюринга ACM AM 2015» . Ассоциация вычислительной техники . Архивировано из оригинала 4 июля 2017 года . Проверено 1 марта 2016 г.
- ^ Джеффри Р. Йост. «Мартин Хеллман — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 22 сентября 2022 года . Проверено 4 марта 2024 г.
- ^ «Премия Тьюринга 2016» . Ассоциация вычислительной техники . Архивировано из оригинала 6 апреля 2017 года . Проверено 4 апреля 2017 г.
- ^ «Пионеры современной компьютерной архитектуры получают премию ACM AM Turing» . Ассоциация вычислительной техники . Архивировано из оригинала 25 марта 2018 года . Проверено 21 марта 2018 г.
- ^ Чарльз Х. Хаус. «Джон Л. Хеннесси — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 22 марта 2018 года . Проверено 4 марта 2024 г.
- ^ Чарльз Х. Хаус. «Чарльз Паттерсон — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 7 января 2024 года . Проверено 4 марта 2024 г.
- ^ «Отцы революции глубокого обучения получили премию ACM AM Turing» . Ассоциация вычислительной техники . Архивировано из оригинала 23 августа 2021 года . Проверено 27 марта 2019 г.
- ^ Томас Хейг. «Йошуа Бенджио — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 27 ноября 2020 года . Проверено 4 марта 2024 г.
- ^ Томас Хейг. «Джеффри Э. Хинтон - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 6 декабря 2021 года . Проверено 4 марта 2024 г.
- ^ Томас Хейг. «Ян Лекун — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 27 марта 2023 года . Проверено 4 марта 2024 г.
- ^ «Лауреаты премии Тьюринга ACM AM 2019» . Ассоциация вычислительной техники . Архивировано из оригинала 18 марта 2020 года . Проверено 11 февраля 2023 г.
- ^ «Эдвин Э. Кэтмалл - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 23 ноября 2023 года . Проверено 4 марта 2024 г.
- ^ «Патрик М. Ханрахан - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 4 января 2024 года . Проверено 4 марта 2024 г.
- ^ «Альфред Ахо из Колумбии и Джеффри Уллман из Стэнфорда получают премию Тьюринга ACM AM 2020» . Ассоциация вычислительной техники . Архивировано из оригинала 31 марта 2021 года . Проверено 11 февраля 2023 г.
- ^ Томас Хейг. «Альфред Вайно Ахо — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 13 января 2024 года . Проверено 4 марта 2024 г.
- ^ Томас Хейг. «Джеффри Дэвид Уллман — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 22 января 2024 года . Проверено 4 марта 2024 г.
- ^ «Название открытого графика: Джек Донгарра из Университета Теннесси получает премию Тьюринга ACM AM 2021» . Ассоциация вычислительной техники . Архивировано из оригинала 5 мая 2022 года . Проверено 30 марта 2022 г.
- ^ Томас Хейг. «Доктор Джек Донгарра — лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 22 января 2024 года . Проверено 4 марта 2024 г.
- ^ «Роберт Меланктон Меткалф - лауреат премии А. М. Тьюринга» . Ассоциация вычислительной техники . Архивировано из оригинала 13 января 2024 года . Проверено 4 марта 2024 г.