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

Американская ежегодная премия в области компьютерных наук

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

Премия ACM AM Turing Award — ежегодная премия, присуждаемая Ассоциацией вычислительной техники (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 год [обновлять], 77 человек были удостоены премии, а последним получателем в 2023 году стал Ави Вигдерсон . [15]

Получатели

Лауреаты премии ACM Turing
ГодПолучатель(и)ФотоОбоснованиеАффилированные институты
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]Centrum Wiskunde & Informatica ,
Эйндховенский технологический университет ,
Техасский университет в Остине
1973Чарльз БахманЧарльз Бахман«За выдающийся вклад в технологию баз данных » [30] [31]Исследовательская лаборатория General Electric (сейчас входит в Groupe Bull , компанию Atos )
1974Дональд КнутДональд Кнут«За его значительный вклад в анализ алгоритмов и разработку языков программирования, и в частности за его вклад в « Искусство программирования » посредством его известных книг в непрерывной серии под этим названием» [32] [33]Калифорнийский технологический институт ,
Центр исследований в области коммуникаций, Центр коммуникаций и вычислений, Институт анализа обороны ,
Стэнфордский университет
1975Аллен Ньюэлл—«В ходе совместных научных усилий, продолжавшихся более двадцати лет, первоначально в сотрудничестве с Дж. К. Шоу из корпорации RAND , а затем с многочисленными коллегами-преподавателями и студентами Университета Карнеги-Меллона , они внесли фундаментальный вклад в искусственный интеллект, психологию человеческого познания и обработку списков ». [34] [35] [36]Корпорация RAND ,
Университет Карнеги-Меллона
Герберт А. Саймон

Герберт А. Саймон

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]Стэнфордский университет ,
Цюрихский университет ,
Швейцарская высшая техническая школа Цюриха
1985Ричард М. КарпРичард М. Карп«За его постоянный вклад в теорию алгоритмов, включая разработку эффективных алгоритмов для сетевых потоков и других задач комбинаторной оптимизации , идентификацию вычислимости за полиномиальное время с интуитивным понятием алгоритмической эффективности и, что наиболее примечательно, за вклад в теорию NP-полноты » [56]Калифорнийский университет в Беркли
1986Джон ХопкрофтДжон Хопкрофт«За фундаментальные достижения в разработке и анализе алгоритмов и структур данных» [57] [58]Корнелльский университет
Роберт ТарьянРоберт ТарьянСтэнфордский университет ,
Корнелльский университет ,
Калифорнийский университет в Беркли ,
Принстонский университет
1987Джон Кок—«За значительный вклад в разработку и теорию компиляторов , архитектуру больших систем и разработку компьютеров с сокращенным набором команд (RISC)» [59]ИБМ
1988Иван СазерлендИван Сазерленд«За его новаторский и дальновидный вклад в компьютерную графику , начиная со Sketchpad и продолжая после» [60]Стэнфордский университет ,
Гарвардский университет ,
Университет Юты ,
Калифорнийский технологический институт
1989Уильям КаханУильям Кахан«За его фундаментальный вклад в численный анализ . Один из ведущих экспертов в области вычислений с плавающей точкой , Кахан посвятил себя «сделанию мира безопасным для численных вычислений!» [61]Калифорнийский университет в Беркли
1990Фернандо Х. КорбатоФернандо Х. Корбато«За его новаторскую работу по организации концепций и руководству разработкой универсальных, крупномасштабных, разделяющих время и ресурсы компьютерных систем CTSS и Multics » [62]Массачусетский технологический институт
1991Робин Милнер—«За три отдельных и полных достижения:
  1. LCF , механизация «Логики вычислимых функций» Скотта, вероятно, первый теоретически обоснованный, но при этом практический инструмент для машинного построения доказательств ;
  2. ML — первый язык, включающий полиморфный вывод типов вместе с типобезопасным механизмом обработки исключений ;
  3. CCS , общая теория параллелизма

Кроме того, он сформулировал и решительно развил полную абстракцию , изучение взаимосвязи между операционной и денотативной семантикой ». [63] [64]

Стэнфордский университет ,
Эдинбургский университет
1992Батлер ЛэмпсонБатлер Лэмпсон«За вклад в развитие распределенных персональных вычислительных сред и технологий для их реализации: рабочих станций , сетей , операционных систем , систем программирования, дисплеев , безопасности и публикации документов » [65]ПАРК ,
ДЕКАБРЕ
1993Юрис ХартманисЮрис Хартманис«В знак признания их основополагающей работы, заложившей основы теории сложности вычислений » [66] [67] [68]Исследовательская лаборатория General Electric (сейчас входит в Groupe Bull , компанию Atos )
Ричард Э. СтернсРичард Э. Стернс
1994Эдвард ФейгенбаумЭдвард А. Фейгенбаум«За пионерское проектирование и создание крупномасштабных систем искусственного интеллекта, демонстрацию практической важности и потенциального коммерческого влияния технологии искусственного интеллекта» [69] [70] [71]Стэнфордский университет
Радж РеддиРадж РеддиСтэнфордский университет ,
Университет Карнеги-Меллона
1995Мануэль БлюмМануэль Блюм«В знак признания его вклада в основы теории сложности вычислений и ее применения в криптографии и проверке программ » [72]Калифорнийский университет в Беркли
1996Амир ПнуэлиАмир Пнуэли«За основополагающую работу по внедрению временной логики в вычислительную науку и за выдающийся вклад в проверку программ и систем » [73]Стэнфордский университет ,
Тель-Авивский университет ,
Институт Вейцмана ,
Институт математических наук Куранта
1997Дуглас ЭнгельбартДуглас Энгельбарт«За вдохновляющее видение будущего интерактивных вычислений и изобретение ключевых технологий, помогающих реализовать это видение» [74]SRI International ,
Tymshare ,
McDonnell Douglas ,
Bootstrap Institute/Alliance, [75]
Институт Дуга Энгельбарта
1998Джим ГрейДжим Грей«За основополагающий вклад в исследования в области баз данных и обработки транзакций , а также за техническое руководство внедрением систем» [76]IBM ,
Майкрософт
1999Фред БруксФред Брукс«За выдающийся вклад в развитие компьютерной архитектуры , операционных систем и разработки программного обеспечения» [77]IBM ,
Университет Северной Каролины в Чапел-Хилл
2000Эндрю ЯоЭндрю Яо«В знак признания его фундаментального вклада в теорию вычислений , включая теорию сложности генерации псевдослучайных чисел , криптографию и сложность связи » [78]Стэнфордский университет ,
Калифорнийский университет в Беркли ,
Принстонский университет
2001Оле-Йохан Даль—«За идеи, лежащие в основе возникновения объектно-ориентированного программирования , посредством разработки языков программирования Simula I и Simula 67 » [79] [80]Норвежский вычислительный центр ,
Университет Осло
Кристен НюгаардКристен Нюгаард
2002Рон РивестРон Ривест«За их гениальный вклад в практическую реализацию криптографии с открытым ключом » [81] [82] [83]Массачусетский технологический институт
Ади ШамирАди Шамир
Леонард АдлеманЛеонард АдлеманУниверситет Южной Калифорнии
2003Алан КейАлан Кей«За новаторство во многих идеях, лежащих в основе современных объектно-ориентированных языков программирования , руководство командой, разработавшей Smalltalk , и за фундаментальный вклад в развитие персональных компьютеров» [84]Университет Юты ,
PARC ,
Стэнфордский университет ,
Atari ,
Apple ATG ,
Walt Disney Imagineering ,
Исследовательский институт Viewpoints ,
HP Labs
2004Винт СерфВинт Серф«За новаторскую работу в области межсетевого взаимодействия , включая разработку и реализацию основных протоколов связи Интернета, TCP/IP , и за вдохновенное лидерство в области сетевых технологий» [85] [86]Калифорнийский университет в Лос-Анджелесе ,
Стэнфордский университет , DARPA ,
MCI (теперь под управлением Verizon ),
CNRI , Google
Боб КанБоб КанМассачусетский технологический институт ,
Болт Беранек и Ньюман ,
DARPA ,
CNRI
2005Питер НаурПитер Наур«За фундаментальный вклад в разработку языка программирования и определение АЛГОЛа 60 , разработку компилятора , а также в искусство и практику компьютерного программирования» [87]Regnecentralen (сейчас принадлежит Fujitsu ),
Копенгагенский университет
2006Фрэнсис АлленФрэнсис Аллен«За новаторский вклад в теорию и практику методов оптимизирующей компиляции, заложивших основу современных оптимизирующих компиляторов и автоматического параллельного выполнения» [88]ИБМ
2007Эдмунд М. КларкЭдмунд М. Кларк«За их роль в развитии проверки моделей в качестве высокоэффективной технологии верификации, широко применяемой в индустрии аппаратного и программного обеспечения» [89] [90] [91] [92]Гарвардский университет ,
Университет Карнеги-Меллона
Э. Аллен ЭмерсонЭ. Аллен ЭмерсонГарвардский университет ,
Техасский университет в Остине
Джозеф СифакисДжозеф СифакисФранцузский национальный центр научных исследований
2008Барбара ЛисковБарбара Лисков«За вклад в практические и теоретические основы языков программирования и проектирования систем, особенно связанных с абстракцией данных , отказоустойчивостью и распределенными вычислениями » [13]Массачусетский технологический институт
2009Чарльз П. ТакерЧарльз П. Такер«За новаторскую разработку и создание Xerox Alto , первого современного персонального компьютера, а также за вклад в Ethernet и планшетный ПК » [93]PARC ,
DEC ,
Microsoft Research
2010Лесли ВалиантЛесли Валиант«За преобразующий вклад в теорию вычислений , включая теорию вероятно приблизительно правильного ( PAC ) обучения, сложность перечисления и алгебраических вычислений , а также теорию параллельных и распределенных вычислений» [94]Гарвардский университет
2011Жемчужина ИудеиЖемчужина Иудеи«За фундаментальный вклад в искусственный интеллект посредством разработки исчисления для вероятностных и причинных рассуждений» [95] [96]Калифорнийский университет в Лос-Анджелесе ,
Технологический институт Нью-Джерси
2012Сильвио МикалиСильвио Микали«За преобразовательную работу, которая заложила основы теории сложности для науки криптографии и в ходе этого процесса стала пионером в разработке новых методов эффективной проверки математических доказательств в теории сложности» [14] [97] [98]Массачусетский технологический институт
Шафи ГольдвассерШафи ГольдвассерМассачусетский технологический институт ,
Институт науки Вейцмана
2013Лесли ЛэмпортЛесли Лэмпорт«За фундаментальный вклад в теорию и практику распределенных и параллельных систем, в частности, за изобретение таких концепций, как причинность и логические часы, безопасность и жизнеспособность, реплицируемые конечные автоматы и последовательная согласованность » [99] [100] [101]Massachusetts Computer Associates (теперь Essig PLM),
SRI International ,
DEC ,
Compaq (теперь HP ),
Microsoft Research
2014Майкл СтоунбрейкерМайкл Стоунбрейкер«За фундаментальный вклад в концепции и практики, лежащие в основе современных систем баз данных» [102] [103]Калифорнийский университет в Беркли ,
Массачусетский технологический институт
2015Уитфилд ДиффиУитфилд Диффи«За фундаментальный вклад в современную криптографию. В новаторской статье 1976 года Диффи и Хеллмана «Новые направления в криптографии» [104] были представлены идеи криптографии с открытым ключом и цифровых подписей, которые являются основой для большинства регулярно используемых протоколов безопасности в Интернете сегодня». [105] [106]Стэнфордский университет
Мартин ХеллманМартин Хеллман
2016Тим Бернерс-ЛиТим Бернерс-Ли«За изобретение Всемирной паутины , первого веб-браузера , а также основных протоколов и алгоритмов, позволяющих масштабировать Интернет» [107]ЦЕРН ,
Массачусетский технологический институт ,
Консорциум Всемирной паутины
2017Джон Л. ХеннессиДжон Л. Хеннесси«За новаторский систематический количественный подход к проектированию и оценке компьютерных архитектур, оказавший длительное влияние на микропроцессорную промышленность» [108] [109] [110]Стэнфордский университет
Дэвид ПаттерсонДэвид ПаттерсонКалифорнийский университет в Беркли
2018Йошуа БенджиоЙошуа Бенджио«За концептуальные и инженерные прорывы, которые сделали глубокие нейронные сети важнейшим компонентом вычислений» [111] [112] [113] [114]Университет Монреаля ,Университет Макгилла,
Мила
Джеффри ХинтонДжеффри ХинтонУниверситет Торонто ,
Калифорнийский университет в Сан-Диего ,
Университет Карнеги-Меллона ,
Университетский колледж Лондона ,
Эдинбургский университет ,
Google AI
Ян ЛеКунЯн ЛеКунУниверситет Торонто ,
Bell Labs ,
Институт математических наук Куранта , Нью-Йоркский университет ,
Meta AI
2019Эдвин КэтмеллЭдвин Кэтмелл«За фундаментальный вклад в трехмерную компьютерную графику и революционное влияние этих методов на компьютерную графику (CGI) в кинопроизводстве и других приложениях» [115] [116] [117]Университет Юты ,
Pixar ,
Студия анимации Уолта Диснея
Пэт ХанраханПэт ХанраханPixar ,
Принстонский университет ,
Стэнфордский университет
2020Альфред Ахо—«За фундаментальные алгоритмы и теорию, лежащие в основе реализации языков программирования, а также за синтез этих результатов и результатов других авторов в их весьма влиятельных книгах, которые дали образование поколениям компьютерных специалистов» [118] [119] [120]Bell Labs ,
Колумбийский университет
Джеффри Ульман—Bell Labs ,
Принстонский университет ,
Стэнфордский университет
2021Джек ДонгарраДжек Донгарра«За новаторский вклад в численные алгоритмы и библиотеки, которые позволили высокопроизводительному вычислительному программному обеспечению идти в ногу с экспоненциальным совершенствованием оборудования на протяжении более четырех десятилетий» [121] [122]Аргоннская национальная лаборатория ,
Окриджская национальная лаборатория ,
Манчестерский университет ,
Техасский университет A&M, Институт перспективных исследований ,
Теннессийский университет ,
Университет Райса
2022Роберт МеткалфРоберт Меткалф«За изобретение, стандартизацию и коммерциализацию Ethernet » [123]Массачусетский технологический институт , Гарвардский университет , Xerox PARC , Техасский университет в Остине
2023Ави ВигдерсонАви Вигдерсон«За переосмысление роли случайности в вычислениях и за десятилетия интеллектуального лидерства в теоретической информатике» [15]Институт перспективных исследований , Принстонский университет , Еврейский университет в Иерусалиме

Смотрите также

Ссылки

  1. ^ ab CACM Staff (2014). «Премия Тьюринга ACM увеличена до 1 миллиона долларов». Сообщения ACM . 57 (12): 20. doi :10.1145/2685372.
  2. ^ ab "AM Turing Award". Association for Computing Machinery . Архивировано из оригинала 12 декабря 2009 г. Получено 5 ноября 2007 г.
  3. ^ Дасгупта, Санджой; Пападимитриу, Христос ; Вазирани, Умеш (2008). Алгоритмы . МакГроу-Хилл . п. 317. ИСБН 978-0-07-352340-8.
  4. ^ "dblp: ACM Turing Award Lectures". informatik.uni-trier.de . Архивировано из оригинала 2 января 2015 г. Получено 11 февраля 2023 г.
  5. ↑ Браун, Боб (6 июня 2011 г.). «Почему нет Нобелевской премии по информатике». Network World . Архивировано из оригинала 4 декабря 2023 г. Получено 3 июня 2015 г.
  6. ^ Гомер, Стивен и Алан Л. (2001). Теория вычислимости и сложности. Springer. стр. 35. ISBN 978-0-387-95055-6. Архивировано из оригинала 3 апреля 2023 г. . Получено 5 ноября 2007 г. .
  7. ↑ Коупленд, Джек (18 июня 2012 г.). «Алан Тьюринг: взломщик кодов, спасший «миллионы жизней». BBC News Technology. Архивировано из оригинала 11 октября 2014 г. Получено 26 октября 2014 г.
  8. ^ Geringer, Steven (27 июля 2007 г.). "ACM'S Turing Award Prize Raised To $250,000". Пресс-релиз ACM . Архивировано из оригинала 30 декабря 2008 г. Получено 16 октября 2008 г.
  9. ^ "ACM's Turing Award Prize Raised to $1 Million". Ассоциация вычислительной техники . Архивировано из оригинала 23 ноября 2015 г. Получено 13 ноября 2014 г.
  10. ^ Чжункай Шангуань; Цзыхэ Чжэн; Цзебо Ло (2021). «Какой тип личности выигрывает премию Тьюринга?». стр. 1. arXiv : 2104.05636 [cs.GL]. Самым молодым победителем стал Дональд Кнут, который убедил жюри своей работой «Программирование как искусство» и выиграл [премию] Тьюринга в 1974 году в возрасте 36 лет.
  11. ^ Уильям Л. Хош. «Премия Тьюринга». Encyclopedia Britannica . Архивировано из оригинала 5 февраля 2024 г. Получено 12 марта 2024 г.
  12. ^ "Первая женщина, получившая премию ACM Turing Award" (пресс-релиз). Ассоциация вычислительной техники. 21 февраля 2007 г. Архивировано из оригинала 2 июля 2007 г. Получено 5 ноября 2007 г.
  13. ^ ab Том ван Флек. "Барбара Лисков - лауреат премии А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 9 ноября 2021 г. . Получено 4 марта 2024 г. .
  14. ^ ab Charles Rackoff. "Shafi Goldwasser - AM Turing Award Laureate". Association for Computing Machinery . Архивировано из оригинала 17 февраля 2024 г. Получено 4 марта 2024 г.
  15. ^ ab "Ави Вигдерсон из Института перспективных исследований стал лауреатом премии ACM AM Turing Award 2023". awards.acm.org . Архивировано из оригинала 10 апреля 2024 г. . Получено 10 апреля 2024 г. .
  16. ^ Перлис, А. Дж. (1967). «Синтез алгоритмических систем». Журнал ACM . 14 : 1–9. doi : 10.1145/321371.321372 . S2CID  12937998.
  17. ^ Дэвид Нофре. "Алан Дж. Перлис - лауреат премии имени А. М. Тьюринга". Ассоциация вычислительной техники . Архивировано из оригинала 26 апреля 2012 г. Получено 4 марта 2024 г.
  18. ^ Уилкс, М. В. (1968). «Компьютеры тогда и сейчас». Журнал ACM . 15 : 1–7. doi : 10.1145/321439.321440 . S2CID  9846847.
  19. ^ Мартин Кэмпбелл-Келли. "Морис В. Уилкс - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 7 января 2024 г. Получено 4 марта 2024 г.
  20. ^ Хэмминг, Р. У. (1969). «Взгляд одного человека на компьютерную науку». Журнал ACM . 16 : 3–12. doi : 10.1145/321495.321497 . S2CID  6868310.
  21. ^ Эдмунд Ф. Робертсон. "Ричард У. Хэмминг - лауреат премии имени А. М. Тьюринга". Ассоциация вычислительной техники . Архивировано из оригинала 30 октября 2020 г. Получено 4 марта 2024 г.
  22. ^ Минский, М. (1970). «Форма и содержание в компьютерной науке (лекция Тьюринга ACM 1970 года)». Журнал ACM . 17 (2): 197–215. doi : 10.1145/321574.321575 . S2CID  15661281.
  23. ^ Патрик Генри Уинстон. «Марвин Мински — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 28 ноября 2023 г. Получено 4 марта 2024 г.
  24. ^ Уилкинсон, Дж. Х. (1971). «Некоторые комментарии численного аналитика». Журнал ACM . 18 (2): 137–147. doi : 10.1145/321637.321638 . S2CID  37748083.
  25. ^ Бересфорд Нил Парлетт. «Джеймс Харди («Джим») Уилкинсон — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 5 января 2024 г. Получено 4 марта 2024 г.
  26. ^ Маккарти, Дж. (1987). «Общность в искусственном интеллекте». Сообщения ACM . 30 (12): 1030–1035. doi : 10.1145/33447.33448 . S2CID  1045033. Архивировано из оригинала 21 сентября 2017 г. Получено 1 ноября 2017 г.
  27. ^ Лестер Эрнест. «Джон Маккарти — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 3 сентября 2016 г. Получено 4 марта 2024 г.
  28. ^ Дейкстра, Э. В. (1972). «Скромный программист». Сообщения ACM . 15 (10): 859–866. doi : 10.1145/355604.361591 .
  29. ^ Гамильтон Ричардс. «Эдсгер Вайб Дейкстра — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 26 февраля 2024 г. Получено 4 марта 2024 г.
  30. ^ Бахман, CW (1973). «Программист как навигатор». Сообщения ACM . 16 (11): 653–658. doi : 10.1145/355611.362534 .
  31. ^ Томас Хейг. «Чарльз Уильям Бахман — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 2 октября 2020 г. Получено 4 марта 2024 г.
  32. ^ Кнут, Д. Э. (1974). «Компьютерное программирование как искусство». Сообщения ACM . 17 (12): 667–673. doi : 10.1145/361604.361612 .
  33. ^ Дэвид Уолден. «Дональд («Дон») Эрвин Кнут — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 17 октября 2019 г. Получено 4 марта 2024 г.
  34. ^ Ньюэлл, А.; Саймон, HA (1976). "Компьютерная наука как эмпирическое исследование: символы и поиск". Сообщения ACM . 19 (3): 113. doi : 10.1145/360018.360022 .
  35. ^ Хантер Хейк. «Аллен Ньюэлл — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 16 октября 2020 г. Получено 4 марта 2024 г.
  36. ^ Хантер Хейк. «Герберт («Херб») Александр Саймон — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 18 апреля 2021 г. Получено 4 марта 2024 г.
  37. ^ Рабин, МО; Скотт, Д. (1959). «Конечные автоматы и проблемы их принятия решений». IBM Journal of Research and Development . 3 (2): 114. doi :10.1147/rd.32.0114. S2CID  3160330.
  38. ^ Рабин, М. О. (1977). «Сложность вычислений». Сообщения ACM . 20 (9): 625–633. doi : 10.1145/359810.359816 .
  39. ^ Скотт, Д.С. (1977). «Логика и языки программирования». Сообщения ACM . 20 (9): 634–641. doi : 10.1145/359810.359826 .
  40. ^ "Майкл О. Рабин - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 28 ноября 2023 г. Получено 4 марта 2024 г.
  41. ^ "Дана Стюард Скотт - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 26 февраля 2024 г. Получено 4 марта 2024 г.
  42. ^ Бэкус, Дж. (1978). «Можно ли освободить программирование от стиля фон Неймана?: функциональный стиль и его алгебра программ». Сообщения ACM . 21 (8): 613–641. doi : 10.1145/359576.359579 .
  43. ^ Грэди Буч. «Джон Бэкус — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 5 января 2024 г. Получено 4 марта 2024 г.
  44. ^ Флойд, РВ (1979). «Парадигмы программирования». Сообщения ACM . 22 (8): 455–460. doi : 10.1145/359138.359140 .
  45. ^ Айверсон, К. Э. (1980). «Нотация как инструмент мышления». Сообщения ACM . 23 (8): 444–465. doi : 10.1145/358896.358899 .
  46. ^ Кит Смилли. «Кеннет Э. («Кен») Айверсон — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 3 апреля 2019 г. Получено 4 марта 2024 г.
  47. ^ Hoare, CAR (1981). «Старая одежда императора». Сообщения ACM . 24 (2): 75–83. doi : 10.1145/358549.358561 .
  48. ^ Клифф Джонс. "C. Anthony ("Tony") R. Hoare - AM Turing Award Laureate". Association for Computing Machinery . Архивировано из оригинала 1 июля 2012 года . Получено 4 марта 2024 года .
  49. ^ Кодд, ЭФ (1982). «Реляционная база данных: практическая основа производительности». Сообщения ACM . 25 (2): 109–117. doi : 10.1145/358396.358400 .
  50. ^ CJ Date. "Эдгар Ф. ("Тед") Кодд - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 23 декабря 2017 г. Получено 4 марта 2024 г.
  51. ^ Кук, С.А. (1983). «Обзор вычислительной сложности». Сообщения ACM . 26 (6): 400–408. doi : 10.1145/358141.358144 .
  52. ^ Брюс Капрон. «Стивен Артур Кук — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 21 октября 2019 г. Получено 4 марта 2024 г.
  53. ^ Том Ван Флек. «Лауреат премии имени А. М. Тьюринга – Кеннет Лейн Томпсон». Ассоциация вычислительной техники . Архивировано из оригинала 9 августа 2019 г. Получено 4 ноября 2018 г.
  54. ^ Том Ван Флек. «Лауреат премии AM Turing Award – Деннис М. Ритчи». Ассоциация вычислительной техники . Архивировано из оригинала 20 октября 2021 г. Получено 4 ноября 2018 г.
  55. ^ Томас Хейг. "Никлаус Э. Вирт - лауреат премии имени А. М. Тьюринга". Ассоциация вычислительной техники . Архивировано из оригинала 29 июня 2017 г. Получено 4 марта 2024 г.
  56. ^ Б. Саймонс; Д. Гасфилд. «Ричард («Дик») Мэннинг Карп — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 4 июля 2017 г. Получено 4 марта 2024 г.
  57. ^ "Джон Э. Хопкрофт - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 27 октября 2021 г. . Получено 4 марта 2024 г. .
  58. ^ V. King. "Роберт (Боб) Эндре Тарьян - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 30 октября 2017 г. Получено 4 марта 2024 г.
  59. ^ Майкл Г. Берк; Вивек Саркар. «Джон Кок — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 г. Получено 4 марта 2024 г.
  60. ^ Роберт Бертон. «Иван Сазерленд — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 г. Получено 4 марта 2024 г.
  61. ^ Томас Хейг. «Уильям («Велвел») Мортон Кахан — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 г. Получено 4 марта 2024 г.
  62. ^ T. Van Vleck. "Fernando J ("Corby") Corbato - AM Turing Award Laureate". Association for Computing Machinery . Архивировано из оригинала 29 октября 2021 г. Получено 4 марта 2024 г.
  63. ^ Милнер, Р. (1993). «Элементы взаимодействия: лекция о премии Тьюринга». Сообщения ACM . 36 : 78–89. doi : 10.1145/151233.151240 .
  64. ^ Майкл Фоурман. «Артур Джон Робин Горелл («Робин») Милнер — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 17 ноября 2021 г. Получено 4 марта 2024 г.
  65. ^ Рой Левин. «Батлер В. Лэмпсон — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 г. Получено 4 марта 2024 г.
  66. ^ Stearns, RE (1994). «Лекция о премии Тьюринга: пора пересмотреть время». Сообщения ACM . 37 (11): 95–99. doi : 10.1145/188280.188379 .
  67. ^ Аллан Бородин. "Юрис Хартманис - лауреат премии AM Turing Award". Association for Computing Machinery . Архивировано из оригинала 21 января 2024 года . Получено 4 марта 2024 года .
  68. ^ "Ричард ("Дик") Эдвин Стернс - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 21 января 2024 г. . Получено 4 марта 2024 г. .
  69. ^ Редди, Р. (1996). «Мечтать о возможной мечте». Сообщения ACM . 39 (5): 105–112. doi : 10.1145/229459.233436 .
  70. ^ Нильс Дж. Нильссон. «Эдвард А («Эд») Фейгенбаум — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 22 января 2024 г. Получено 4 марта 2024 г.
  71. ^ Нильс Дж. Нильссон. «Даббала Раджагопал («Радж») Редди — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 10 декабря 2023 г. Получено 4 марта 2024 г.
  72. ^ Христос Х. Пападимитриу. «Лауреат премии AM Turing Award – Мануэль Блюм». Ассоциация вычислительной техники . Архивировано из оригинала 23 октября 2021 г. Получено 4 ноября 2018 г.
  73. ^ Lenore Zuck. "AM Turing Award Laureate – Amir Pnueli". Association for Computing Machinery . Архивировано из оригинала 20 октября 2021 г. Получено 4 ноября 2018 г.
  74. ^ Тьерри Бардини. «Лауреат премии AM Turing Award – Дуглас Энгельбарт». Association for Computing Machinery . Архивировано из оригинала 4 июля 2017 г. Получено 4 ноября 2018 г.
  75. ^ "The Doug Engelbart Institute". The Doug Engelbart Institute . Архивировано из оригинала 14 июля 2012 г. Получено 17 июня 2012 г.
  76. ^ Пол МакДжонс. «Джеймс («Джим») Николас Грей — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 г. Получено 4 марта 2024 г.
  77. ^ Грэди Буч. «Фредерик («Фред») Брукс — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 29 октября 2021 г. Получено 4 марта 2024 г.
  78. ^ Брюс Капрон. "Эндрю Чи-Чи Яо - лауреат премии имени А. М. Тьюринга". Ассоциация вычислительной техники . Архивировано из оригинала 3 июля 2017 г. Получено 4 марта 2024 г.
  79. ^ Эндрю П. Блэк. «Оле-Йохан Даль — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 12 октября 2021 г. Получено 4 марта 2024 г.
  80. ^ Оле Лерман Мэдсен. «Кристен Нюгаард — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 28 ноября 2023 г. Получено 4 марта 2024 г.
  81. ^ "Рональд (Рон) Линн Ривест - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 11 октября 2021 г. . Получено 4 марта 2024 г. .
  82. ^ "Ади Шамир - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 10 декабря 2023 г. Получено 4 марта 2024 г.
  83. ^ Джозеф Бебель; Шан-Хуа Тэн. «Леонард (Лен) Макс Адлеман — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 3 октября 2023 г. Получено 4 марта 2024 г.
  84. ^ Сьюзан Б. Барнс. «Алан Кей — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 11 октября 2021 г. Получено 4 марта 2024 г.
  85. ^ Джанет Эббейт. «Винтон («Винт») Грей Серф — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 11 октября 2021 г. Получено 4 марта 2024 г.
  86. ^ Джанет Эббейт. «Роберт (Боб) Эллиот Кан — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 13 июля 2019 г. Получено 4 марта 2024 г.
  87. ^ Эдгар Г. Дейлайт. «Питер Наур — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 12 июня 2018 г. Получено 4 марта 2024 г.
  88. ^ Гай Стил. «Фрэнсис («Фрэн») Элизабет Аллен — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 7 апреля 2022 г. Получено 4 марта 2024 г.
  89. ^ "Объявлены победители премии Тьюринга 2007 года". Архивировано из оригинала 2 ноября 2009 года . Получено 9 декабря 2008 года .
  90. ^ Тед Киркпатрик. «Эдмунд Мелсон Кларк — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 4 января 2024 г. Получено 4 марта 2024 г.
  91. ^ Томас Валь. "E. Allen Emerson - AM Turing Award Laureate". Association for Computing Machinery . Архивировано из оригинала 26 февраля 2024 г. Получено 4 марта 2024 г.
  92. ^ Cristian S. Calude. "Joseph Sifakis - AM Turing Award Laureate". Association for Computing Machinery . Архивировано из оригинала 28 ноября 2023 г. Получено 4 марта 2024 г.
  93. ^ "Чарльз П. (Чак) Такер - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 10 октября 2021 г. Получено 4 марта 2024 г.
  94. ^ "Лесли Габриэль Валиант - лауреат премии имени А. М. Тьюринга". Ассоциация вычислительной техники . Архивировано из оригинала 17 ноября 2021 г. Получено 4 марта 2024 г.
  95. ^ Перл, Иудея (2007). Лекции на премию ACM Тьюринга (mp4) . дои : 10.1145/1283920. ISBN 978-1-4503-1049-9. Архивировано из оригинала 21 октября 2020 г. . Получено 16 ноября 2020 г. .
  96. ^ Стюарт Дж. Рассел. «Джудея Перл — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 26 августа 2017 г. Получено 15 марта 2012 г.
  97. ^ "Turing award 2012". Association for Computing Machinery . Архивировано из оригинала 18 марта 2013 года.
  98. ^ Ави Вигдерсон. «Сильвио Микали — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 11 декабря 2023 г. Получено 4 марта 2024 г.
  99. ^ "Turing award 2013". Association for Computing Machinery . Архивировано из оригинала 16 января 2016 года . Получено 18 марта 2014 года .
  100. ^ Лампорт, Л. (1978). «Время, часы и порядок событий в распределенной системе» (PDF) . Сообщения ACM . 21 (7): 558–565. CiteSeerX 10.1.1.155.4742 . doi :10.1145/359545.359563. S2CID  215822405. Архивировано (PDF) из оригинала 31 октября 2008 г. . Получено 28 августа 2015 г. . 
  101. ^ Далия Малхи; Мартин Абади; Хагит Аттия; Идит Кейдар; Нэнси Линч; Нир Шавит; Джордж Варгезе; Лен Шустек. «Лесли Лэмпорт — лауреат премии А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 1 июня 2023 г. Получено 4 марта 2024 г.
  102. ^ "Turing award 2014". Association for Computing Machinery . Архивировано из оригинала 3 июля 2017 года . Получено 25 марта 2015 года .
  103. ^ Томас Хейг. «Майкл Стоунбрейкер — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 25 января 2024 г. Получено 4 марта 2024 г.
  104. ^ Diffie, W.; Hellman, M. (1976). "Новые направления в криптографии" (PDF) . IEEE Transactions on Information Theory . 22 (6): 644–654. CiteSeerX 10.1.1.37.9720 . doi :10.1109/TIT.1976.1055638. Архивировано (PDF) из оригинала 3 декабря 2017 г. . Получено 4 марта 2016 г. . 
  105. ^ "Cryptography Pioneers Receive 2015 ACM AM Turing Award". Association for Computing Machinery . Архивировано из оригинала 4 июля 2017 года . Получено 1 марта 2016 года .
  106. ^ Джеффри Р. Йост. «Мартин Хеллман — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 22 сентября 2022 г. Получено 4 марта 2024 г.
  107. ^ "Turing award 2016". Association for Computing Machinery . Архивировано из оригинала 6 апреля 2017 года . Получено 4 апреля 2017 года .
  108. ^ "Pioneers of Modern Computer Architecture Receive ACM AM Turing Award". Association for Computing Machinery . Архивировано из оригинала 25 марта 2018 г. Получено 21 марта 2018 г.
  109. ^ Charles H. House. "John L Hennessy - AM Turing Award Laureate". Association for Computing Machinery . Архивировано из оригинала 22 марта 2018 г. Получено 4 марта 2024 г.
  110. ^ Charles H. House. "Charles Patterson - AM Turing Award Laureate". Association for Computing Machinery . Архивировано из оригинала 7 января 2024 года . Получено 4 марта 2024 года .
  111. ^ "Отцы революции глубокого обучения получают премию ACM AM Turing Award". Association for Computing Machinery . Архивировано из оригинала 23 августа 2021 г. . Получено 27 марта 2019 г. .
  112. ^ Томас Хейг. «Йошуа Бенджио — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 27 ноября 2020 г. Получено 4 марта 2024 г.
  113. ^ Томас Хейг. «Джеффри Э. Хинтон — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 6 декабря 2021 г. Получено 4 марта 2024 г.
  114. ^ Томас Хейг. «Ян Лекун — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 27 марта 2023 г. Получено 4 марта 2024 г.
  115. ^ "2019 ACM AM Turing Award Laureates". Association for Computing Machinery . Архивировано из оригинала 18 марта 2020 г. Получено 11 февраля 2023 г.
  116. ^ "Эдвин Э. Кэтмелл - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 23 ноября 2023 г. Получено 4 марта 2024 г.
  117. ^ "Патрик М. Ханрахан - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 4 января 2024 г. . Получено 4 марта 2024 г. .
  118. ^ "Альфред Ахо из Колумбии и Джеффри Ульман из Стэнфорда получили премию ACM AM Turing Award 2020". Association for Computing Machinery . Архивировано из оригинала 31 марта 2021 г. . Получено 11 февраля 2023 г. .
  119. ^ Томас Хейг. "Альфред Вайно Ахо - лауреат премии имени А. М. Тьюринга". Ассоциация вычислительной техники . Архивировано из оригинала 13 января 2024 г. Получено 4 марта 2024 г.
  120. ^ Томас Хейг. «Джеффри Дэвид Ульман — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 22 января 2024 г. Получено 4 марта 2024 г.
  121. ^ "Open Graph Title: Джек Донгарра из Университета Теннесси получает премию ACM AM Turing Award 2021". Association for Computing Machinery . Архивировано из оригинала 5 мая 2022 г. . Получено 30 марта 2022 г. .
  122. ^ Томас Хейг. «Доктор Джек Донгарра — лауреат премии имени А. М. Тьюринга». Ассоциация вычислительной техники . Архивировано из оригинала 22 января 2024 г. Получено 4 марта 2024 г.
  123. ^ "Роберт Меланктон Меткалф - лауреат премии имени А. М. Тьюринга". Association for Computing Machinery . Архивировано из оригинала 13 января 2024 г. Получено 4 марта 2024 г.
На Викискладе есть медиафайлы по теме Премия Тьюринга .
  • Хронологический список лауреатов премии Тьюринга ACM
  • Празднование столетия премии ACM AM Turing Award
  • Интервью с лауреатами премии ACM AM Turing Award
  • Празднование 50-летия премии имени А.М. Тьюринга от ACM
Взято с "https://en.wikipedia.org/w/index.php?title=Премия_Тьюринга&oldid=1254006292"