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

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

В ACM Премия А. М. Тьюринга ежегодная премия, присуждаемая Ассоциация вычислительной техники (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Морис УилксМорис Винсент Уилкс 1980 (3, обрезано) .jpgУилкс известен прежде всего как строитель и дизайнер EDSAC, первый компьютер с внутренним программа. Построенный в 1949 году, EDSAC использовал память ртутной линии задержки. Он также известен как автор вместе с Уилером и Гиллом тома «Подготовка программ для электронных цифровых компьютеров» в 1951 году, в котором программные библиотеки были эффективно введены.[11]
1968Ричард ХэммингЗа его работу над численные методы, системы автоматического кодирования, а также коды обнаружения и исправления ошибок.[12]
1969Марвин МинскиМарвин Мински на OLPCc.jpgЗа его центральную роль в создании, формировании, продвижении и развитии области искусственный интеллект.[13]
1970Джеймс Х. УилкинсонЗа его исследования в числовой анализ облегчить использование высокоскоростного цифрового компьютера, получив особое признание за его работу в вычислениях в линейная алгебра и «обратный» анализ ошибок.[14]
1971Джон МаккартиДжон Маккарти Stanford.jpgЛекция Маккарти «Современное состояние исследований в области искусственного интеллекта» - это тема, которая охватывает область, в которой он добился значительного признания своей работы.[15]
1972Эдсгер В. ДейкстраЭдсгер Вайбе Дейкстра.jpgЭдсгер Дейкстра внес в конце 1950-х годов основной вклад в развитие АЛГОЛ, высокий уровень язык программирования который стал образцом ясности и математической строгости. Он является одним из главных сторонников науки и искусства языков программирования в целом и внес большой вклад в наше понимание их структуры, представления и реализации. Его пятнадцать лет публикаций простираются от теоретических статей по теории графов до базовых руководств, пояснительных текстов и философских размышлений в области языков программирования.[16]
1973Чарльз БахманЧарльз Бахман 2012.jpgЗа выдающийся вклад в база данных технологии.[17]
1974Дональд КнутKnuthAtOpenContentAlliance.jpgЗа его большой вклад в анализ алгоритмов и разработку языков программирования и, в частности, за его вклад в "Искусство программирования "через его известные книги в непрерывной серии под этим названием.[18]
1975Аллен НьюэллСовместными научными усилиями на протяжении более двадцати лет, первоначально в сотрудничестве с Дж. К. Шоу на RAND Corporation, а затем с многочисленными преподавателями и студентами-коллегами в Университет Карнеги Меллон, они внесли основной вклад в искусственный интеллект, психологию человеческого познания и обработку списков.[19]
Герберт А. СаймонГерберт Саймон красный cropped.jpg
1976Майкл О. РабинM O Rabin.jpgЗа их совместную статью «Конечные автоматы и их проблема решения»[20] который представил идею недетерминированные машины, которая оказалась чрезвычайно ценной концепцией. Их классическая работа (Скотт и Рабин) была постоянным источником вдохновения для дальнейшей работы в этой области.[21][22]
Дана СкоттСкотт Дана small.jpg
1977Джон БэкусДжон Бэкус 2.jpgЗа глубокий, влиятельный и продолжительный вклад в разработку практических систем программирования высокого уровня, в частности, за его работу над FORTRAN, а также для оригинальной публикации формальных процедур для спецификации языки программирования.[23]
1978Роберт В. ФлойдЗа четкое влияние на методологии создания эффективного и надежного программного обеспечения, а также за помощь в открытии следующих важных областей Информатика: теория разбор, то семантика языков программирования, автоматическая проверка программы, автоматический синтез программ, и анализ алгоритмов.[24]
1979Кеннет Э. АйверсонКей младший.jpgЗа его новаторские усилия в области языков программирования и математической записи, результатом которых стало то, что в компьютерной области теперь известно как APL, за его вклад в реализацию интерактивных систем, использование APL в образовательных целях, а также в теорию и практику языков программирования.[25]
1980Тони ХоарСэр Тони Хоар IMG 5125.jpgЗа фундаментальный вклад в определение и разработку языков программирования.[26]
1981Эдгар Ф. КоддЗа фундаментальный и постоянный вклад в теорию и практику систем управления базами данных, в особенности. реляционные базы данных.[27]
1982Стивен КукProf.Cook (обрезано) .jpgЗа его значительный и глубокий прогресс в понимании сложности вычислений.[28]
1983Кен ТомпсонКен Томпсон 02.jpgЗа развитие общей теории операционных систем и, в частности, за реализацию UNIX Операционная система.[29][30]
Деннис РичиДеннис Ричи 2011.jpg
1984Никлаус ВиртНиклаус Вирт, УрГУ (обрезано) .jpgДля разработки последовательности инновационных компьютерных языков, EULER, АЛГОЛ-W, МОДУЛА и Паскаль.
1985Ричард М. КарпКарп мг 7725-b.cr2.jpgЗа его постоянный вклад в теорию алгоритмов, включая разработку эффективных алгоритмов для сетевого потока и других задач комбинаторной оптимизации, идентификацию вычислимости за полиномиальное время с интуитивным понятием алгоритмической эффективности и, в первую очередь, за вклад в теорию NP-полнота.
1986Джон ХопкрофтHopcrofg (обрезанный) .jpgЗа фундаментальные достижения в разработке и анализе алгоритмов и структур данных.
Роберт ТарджанБоб Тарджан.jpg
1987Джон КокЗа значительный вклад в разработку и теорию компиляторов, архитектуру больших систем и разработку компьютеры с сокращенным набором команд (RISC).
1988Иван СазерлендИван Сазерленд на CHM.jpgЗа его новаторский и дальновидный вклад в компьютерная графика, начиная с Блокнот, и продолжение после.
1989Уильям КаханУильям Кахан, 2008 г. (обрезано) .jpgЗа его фундаментальный вклад в числовой анализ. Один из ведущих экспертов по плавающая точка вычисления. Кахан посвятил себя «тому, чтобы сделать мир безопасным для численных вычислений».
1990Фернандо Х. КорбатоФернандо Корбато.jpgЗа его новаторскую работу по организации концепций и руководству разработкой универсальных, крупномасштабных, совместное времяпровождение и компьютерные системы с совместным использованием ресурсов, CTSS и Мультики.
1991Робин МилнерЗа три отдельных и полных достижения: 1) LCF, механизация логики вычислимых функций Скотта, вероятно, первый теоретически обоснованный, но практический инструмент для машинная конструкция доказательства; 2) ML, первый язык, включающий полиморфный вывод типа вместе с типобезопасный Обработка исключений механизм; 3) CCS, общая теория параллелизм. Кроме того, он сформулировал и сильно продвинул полная абстракция, исследование взаимосвязи между оперативный и денотационный семантика.[31]
1992Батлер В. ЛэмпсонКонференция профессиональных разработчиков 2009 Панель технических лидеров 6 (обрезано) .jpgЗа вклад в разработку распределенных персональных вычислительных сред и технологий для их реализации: рабочие станции, сети, операционные системы, системы программирования, отображает, безопасность и публикация документов.
1993Юрис ХартманисЮрис Хартманис (2002) .jpgВ знак признания их основополагающей работы, заложившей основы области теория сложности вычислений.[32]
Ричард Э. СтернсДик Стернс (обрезано) .jpg
1994Эдвард Фейгенбаум27. Д-р Эдвард А. Фейгенбаум 1994-1997.jpgЗа новаторство в проектировании и создании крупномасштабных систем искусственного интеллекта, демонстрирующих практическую важность и потенциальное коммерческое влияние технологий искусственного интеллекта.[33]
Радж РеддиProfReddys Photo Cropped.jpg
1995Мануэль БлюмБлюм мануэль (обрезанный) .jpgВ знак признания его вклада в создание теория сложности вычислений и его применение к криптография и проверка программы.[34]
1996Амир ПнуелиАмир Пнуэли.jpgДля плодотворной работы, представляющей темпоральная логика в информатику и за выдающийся вклад в программы и системы проверка.[35]
1997Дуглас ЭнгельбартДуглас Энгельбарт в 2008.jpgЗа вдохновляющее видение будущего интерактивных вычислений и изобретение ключевых технологий, которые помогут реализовать это видение.[36]
1998Джим ГрейДжим Грей Вычислительная техника в 21 веке, 2006 г. (обрезано) .jpgЗа плодотворный вклад в база данных и обработка транзакции научное и техническое руководство внедрением системы.
1999Фредерик П. БруксФред Брукс (обрезано) .jpgЗа значительный вклад в компьютерная архитектура, операционные системы, и программная инженерия.
2000Эндрю ЯоЭндрю Яо MFO (обрезано) .jpgВ знак признания его фундаментального вклада в теория вычислений, в том числе основанную на сложности теорию генерация псевдослучайных чисел, криптография, и сложность коммуникации.
2001Оле-Йохан ДальДля идей, лежащих в основе появления объектно-ориентированного программирования, благодаря их дизайну языков программирования Симула I и Симула 67.
Кристен НайгаардКристен-Найгаард-SBLP-1997-head.png
2002Рон РивестРональд Ривест photo.jpgЗа их гениальный вклад для изготовления криптография с открытым ключом полезно на практике.
Ади ШамирАди Шамир в Техническом университете Дармштадта (2013) .jpg
Леонард АдлеманLen-mankin-pic.jpg
2003Алан КейАлан Кей (3097597186) (обрезано) .jpgЗа новаторство многих идей, лежащих в основе современного объектно-ориентированные языки программирования, возглавляя команду, которая разработала Болтовня, и за фундаментальный вклад в развитие персональных компьютеров.
2004Винт СерфДоктор Винт Серф ForMemRS (обрезано) .jpgЗа новаторскую работу над межсетевое взаимодействие, включая разработку и реализацию Интернет основные протоколы связи, TCP / IP и за вдохновенное лидерство в области нетворкинга.
Боб КанБоб Кан.jpg
2005Питер НаурПетернаур.JPGЗа фундаментальный вклад в язык программирования дизайн и определение АЛГОЛ 60, к компилятор дизайну, а также искусству и практике компьютерного программирования.
2006Фрэнсис Э. АлленАллен мг 2528-3750K-b.jpgЗа новаторский вклад в теорию и практику методов оптимизации компиляторов, заложивших основу для современных оптимизирующих компиляторов и автоматического параллельного выполнения.
2007Эдмунд М. КларкЭдмунд Кларк FLoC 2006 (обрезано) .jpgЗа их роль в развитии проверка модели в высокоэффективную технологию проверки, широко применяемую в аппаратной и программной отраслях.[37]
Э. Аллен Эмерсон
Джозеф СифакисДжозеф Сифакис img 0966.jpg
2008Барбара ЛисковБарбара Лисков Ученый-компьютерщик Массачусетского технологического института 2010.jpgЗа вклад в практические и теоретические основы языка программирования и проектирования систем, особенно связанных с абстракцией данных, отказоустойчивостью и распределенными вычислениями.
2009Чарльз П. ТакерChuckthacker (обрезано) .jpgЗа новаторский дизайн и реализацию Xerox Alto, первый современный персональный компьютер, а также за его вклад в развитие сетей Ethernet и планшетных компьютеров.
2010Лесли ВалиантЛесли Вэлиант (обрезано) .jpgЗа преобразующий вклад в теория вычислений, включая теорию вероятно приблизительно правильной (PAC ) обучение, сложность перечисления и алгебраических вычислений, а также теория параллельных и распределенных вычислений.
2011Жемчужина Иудеи[38]Judea Pearl на NIPS 2013 (11781981594) (обрезано) .jpgЗа фундаментальный вклад в искусственный интеллект за счет развития теории вероятностных и причинно-следственных рассуждений.[39]
2012Сильвио МикалиСильвио Микали (обрезано) .jpgЗа преобразующую работу, которая заложила основы теории сложности для науки о криптографии и в процессе стала пионером новых методов эффективной проверки математических доказательств в теории сложности.[40]
Шафи ГольдвассерШафи Голдвассер.JPG
2013Лесли ЛэмпортЛесли Лэмпорт.jpgЗа фундаментальный вклад в теорию и практику распределенных и параллельных систем, особенно за изобретение таких понятий, как причинность и логические часы, безопасность и живучесть, реплицируемые конечные автоматы и последовательная согласованность.[41][42]
2014Майкл СтоунбрейкерМайкл Стоунбрейкер P1120062.jpgЗа фундаментальный вклад в концепции и методы, лежащие в основе современных систем баз данных.[43]
2015Уитфилд ДиффиКоролевское общество Уитфилда Диффи (обрезано) .jpgЗа фундаментальный вклад в современную криптографию. Новаторская статья Диффи и Хеллмана 1976 г. «Новые направления в криптографии»[44] представил идеи криптографии с открытым ключом и цифровых подписей, которые сегодня являются основой наиболее часто используемых протоколов безопасности в Интернете.[45]
Мартин ХеллманMartin-Hellman.jpg
2016Тим Бернерс-ЛиСэр Тим Бернерс-Ли (обрезано) .jpgЗа изобретение Всемирная паутина, первый веб-браузер, а также основные протоколы и алгоритмы, позволяющие масштабировать Интернет.[46]
2017Джон Л. ХеннессиДжон Л. Хеннесси (обрезано) .jpgЗа новаторский систематический количественный подход к проектированию и оценке компьютерных архитектур с длительным влиянием на микропроцессорную промышленность.[47]
Дэвид ПаттерсонДэвид Паттерсон.jpg
2018Йошуа БенжиоЙошуа Бенджио - 2017.jpgЗа концептуальные и инженерные прорывы, которые сделали глубокие нейронные сети критический компонент вычислений.[48]
Джеффри ХинтонДжеффри Хинтон из UBC (обрезано) .jpg
Янн ЛеКунЯнн ЛеКун - 2018 (обрезано) .jpg
2019Эдвин КэтмеллVES Awards 89 cropped.jpgЗа фундаментальный вклад в трехмерную компьютерную графику и революционное влияние этих методов на компьютерные изображения (CGI) в кинопроизводстве и других приложениях.[49]
Пэт ХанраханКонференция клиентов Пэта Ханрахана Tableau 2009.jpg

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

Рекомендации

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

внешняя ссылка