Российское Компьютерное Консолидирующие Агентство

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

Премия Алана Тьюринга (ACM Turing Award) — самая престижная премия профессиональной ассоциации ACM (Association for Computing Machinery). В сфере компьютерных наук и технологий она считается аналогом Нобелевской премии. C 1966 г. лауреатами ежегодной премии становились 54 человека: 35 представляют США, 5 — Великобританию, по 2 — Норвегию и Израиль, по одному — Германию, Нидерланды, Швейцарию, Данию, Латвию, Грецию, Канаду, Китай, Венесуэлу, Индию. Размер премии ранее составлял 100 тыс. долл. Финансовая поддержка обеспечивалась корпорацией Intel. Начиная с 2007 г. размер премии вырос до 250 тыс. долл, а её поддержку обеспечивают Intel и Google.

При вручении премии лауреат выступает с докладом, в котором старается донести до своих коллег и широкой аудитории свой взгляд на мир компьютерных систем и технологий. Практически все выступления носят высочайший уровень и, на мой взгляд, должны внимательно изучаться всеми, кто профессиональньно занимается этой сферой интеллектуальной деятельности. Именно с этой целью здесь собрана уникальная подборка таких докладов (на русском и английском языках).

Ниже приводится предисловие Юрия Матвеевича Баяковского, написанное для русского издания сборника «Лекции лауреатов премии Тьюринга за первые двадцать лет 1966–1985» (издательство «Мир», 1993). По сравнению с данными того времени (1992) теперь в ассоциации ACM насчитывается 34 специальные группы (SIG), ежегодно проводится около 120 конференций, выпускается свыше 40 изданий, которые составляют огромную электронную библиотеку (ACM Digital Library), где хранится свыше 1,4 млн. страниц различных изданий. В ACM входит 82 тыс. членов (62 тыс. — специалисты, 20 тыс. — студенты, 2,5 тыс. — организации), 69% представляют страны Северной Америки, 31% — остальной мир (более 140 стран).

– РБ
ЛАУРЕАТЫ  ПРЕМИИ  ТЬЮРИНГА
Алан Перлис, США (A. J. Perlis; 01.04.1922 – 07.02.1990)
÷ За вклад в области передовых методов программирования и построения компиляторов
 
В 1943 г. получил степень бакалавра химии в Технологическом институте Карнеги. Затем поступает в Массачусетский техологический институт (MIT), где получает степень магистра и защищает диссертацию (интегральные уравнения). В 1952 г. участвует в знаменитом проекте Whirlwind. В том же году основывает Центр цифровых компьютеров в Университете Пердью, а в 1956 г. — Вычислительный центр в Технологическом институте им. Карнеги (ныне Университет Карнеги-Меллона). Участвует в стандартизации языков Алгол-58 и Алгол-60, а также в последующих расширениях этого языка. Является основателем и редактором журнала Communications of the ACM. Президент ассоциации ACM с 1962 по 1964 гг. В 1971 г. становится профессором компьютерных наук Йельского университета, где работает вплоть до своей кончины. В 1977 г. избирается в члены Национальной инженерной академии США.
Морис Уилкс, Великобритания (Maurice V. Wilkes; род. 26.06.1913)
÷ За создание компьютера EDSAC и введение концепции библиотеки программ (program library)

Начал свою карьеру в 1945 г. в качестве директора Компьютерной лаборатории Кембриджского университета, где в 1949 г. разработал первый программируемый компьютер с хранимой программой (EDSAC). В 1951 г. в рамках работ над EDSAC 2 реализует подход, который впоследствии получает название микропрограммирование. Автор идеи символьных меток, макросов и библиотеки подпрограмм. С 1956 г. является членом Британского Королевского общества. В 1957 г. избирается первым президентом Британского компьютерного общества (BCS). Выйдя в отставку и покинув Кембридж в 1980 г., становится штатным консультантом компании DEC и членом учёного совета в Olivetti Research Board. В 2002 г. возвращается в Компьютерную лабораторию Кембриджского университета в качестве почётного профессора (Emeritus Professor).
Ричард Хэмминг, США (Richard Hamming; 11.02.1915 – 07.01.1998)
÷ За работы в области численных методов и создание корректирующих кодов (error-detecting and error-correcting codes)

Закончил Чикагский университет (1937) и Университет Небраска (1939). В 1942 г. защитил диссертацию в Университете Иллинойса. Становится профессором в Университете Луисвилль, затем подключается к Манхэттенскому проекту (1945) по созданию ядерного оружия. В рамках этого проекта занимается программированием одного из первых электронных цифровых компьютеров для расчёта решения физических уравнений. В течение 30 лет работает в AT&T Bell Laboratories, где углублённо занимается проблематикой корректирующих кодов и тесно контактирует с Клодом Шенноном. В 1976 г. переходит в Naval Postgraduate School (Монтеррей, Калифорния) в качестве профессора-адъюнкта. Там вплоть до своей кончины преподаёт и пишет книги по теории вероятностей и комбинаторике.
Марвин Минский, США (Marvin Minsky; род. 09.08.1927)
÷ За работы в области искусственного интеллекта

Выпускник Гарварда. Защитил диссертацию в Принстоне (1954). На момент награждения премией Тьюринга работал над устройством Robot C — первого робота, руки которого должны были двигаться подобно человеческим. Основал лабораторию искусственного интеллекта в Массачусетском технологическом институте (MIT), а также Logo Computer Systems и Thinking Machines. Его научная деятельность связана с проектами преимущественно из области искусственного интеллекта, включая математическую теорию вычислений и робототехнику. Разработал объяснение способа, посредством которого должна действовать «думающая машина» и изложил соответствующие идеи в книге The Society of Mind. Выступал в качестве консультанта исследовательских проектов столь полярных организаций, как NASA и Национальный институт танца. Долгие годы работает в MIT в качестве профессора факультета электроники и компьютерных наук. В 2006 г. публикует книгу The Emotion Machine с критикой ряда популярных теорий, поясняющих работу мозга.
Джеймс Уилкинсон, Великобритания (J. Wilkinson; 27.09.1919 – 05.10.1986)
÷ За исследования в области численного анализа и линейной алгебры

Выпускник Тринити-Колледжа в Кембридже. Свыше 30 лет возглавлял Национальную физическую лабораторию в Великобритании (1946–1977). Ежегодно с 1977 по 1984 гг. по три месяца проводил в качестве приглашённого профессора в Стэнфордском университете. Работал вместе с Аланом Тьюрингом над проектом компьютера ACE. Был одним из самых прославленных специалистов по численному анализу, основное внимание уделял численным методам линейной алгебры и задачам теории возмущений. Избран членом Британского Королевского общества. Его главными достижениями были создание компьютера ACE и разработка метода анализа погрешностей.
Джон Маккарти, США (John McCarthy; род. 04.09.1927)
÷ За значительный вклад в развитие искусственного интеллекта

Заинтересовался проблемами искусственного интеллекта в 1949 г., будучи аспирантом-математиком в Принстонском университете. В 1955 г. предложил термин «искусственный интеллект», а в 1958 г. создал язык Лисп (Lisp). Разработал концепцию разделения времени. Участвует в зарождении Project MAC. С 1962 г. вплоть до ухода на заслуженный отдых (2000) — профессор факультета компьютерных наук, а также профессор кафедры им. Шарля Пижо Инженерной школы Стэнфордского университета. Его главный научный интерес — формализация так называемых «знаний здравого смысла».
Эдсгер Дейкстра, Нидерланды (Edsger Dijkstra; 11.05.1930 – 06.08.2002)
÷ За разработку языка Алгол и существенный вклад в понимание структуры, представления и реализации языков программирования

По образованию — физик-теоретик (в 1956 г. закончил Лейденский университет). По призванию — программист (в 1953 г. добился работы в Кембридже, в летней школе по компьютеру EDSAC, в 1959 г. под руководством Ада ван Вейнгардена защитил диссертацию по вычислениям на тему «Связь с автоматической вычислительной машиной»), по духу и профессиональной карьере — математик (с 1952 по 1962 гг. параллельно с учёбой работал в Математическом центре в Амстердаме; в 1962 г. получил место профессора математики в Высшей политехнической школе Эйндховена). Вместе с Япом Зонневельдом реализовал первый компилятор Алгола-60. Свои мысли предпочитал излагать на бумаге в виде коротких записок, которые аккуратно нумеровал, давая им префикс EWD (свои инициалы). Он их писал от руки исключительно перьевой ручкой, либо на домашней пишущей машинке, затем ксерокопировал и отсылал узкому кругу друзей и коллег. Эти записки входят в сокровищницу мирового программирования. В 1973 г. становится единственным почётным исследователем знаменитой американской компании Burroughs. В 1984 г. переезжает с семьёй в США и ведёт преподавательскую деятельность в университете Техаса в Остине. Будучи неизлечимо болен в феврале 2002 г. возвращается в родной Ньюен. Спустя полгода, в августе 2002 г. его не стало. Награждён премией Тьюринга не столько за конкретные достижения (один из первых трансляторов Алгола-60, идея семафоров, мультипрограммная операционная система THE, фундаментальные алгоритмы, структурное программирование), сколько (как это отметил глава комитета по премиям М. Макилрой) «за подход к программированию как к высокому искусству и интеллектуальному творчеству, за настойчивые требования и практическую демонстрацию того, что программы должны быть с самого начала правильно составлены, а не просто отлаживаться до тех пор, пока не станут правильными; за ясное понимание того, какие проблемы лежат в основе программирования».
Чарльз Бахман, США (Charles W. Bachman; род. 11.12.1924)
÷ За выдающийся вклад в развитие технологии баз данных

Дональд Кнут, США (Donald Ervin Knuth; род. 10.01.1938)
÷ За значительный вклад в анализ алгоритмов и проектирование языков программирования, за многотомное издание «Искусство программирования» (The Art of Computer Programming)

Аллен Ньюэлл, США (Allen Newell; 19.03.1927 – 19.07.1992)
÷ За большой вклад в развитие искусственного интеллекта, психологии человеческого познания и методов обработки списков

Герберт Саймон, США (Herbert Simon; 15.06.1916 – 09.02.2001)
÷ За большой вклад в развитие искусственного интеллекта, психологии человеческого познания и методов обработки списков

Микаэль Рабин, Германия (Michael O. Rabin; род. 1931)
÷ За концепцию недетерминированных машин, которая вводится в книге «Finite Automata and Their Decision Problem»

Дана Скотт, США (Dana Stewart Scott; род. 1932)
÷ За концепцию недетерминированных машин, которая вводится в книге «Finite Automata and Their Decision Problem»

Джон Бэкус, США (John Warner Backus; 03.12.1924 – 17.03.2007)
÷ За огромный вклад в проектирование практических высокоуровневых систем программирования, за выработку формальных процедур спецификации языков программирования и в особенности за создание языка Фортран

Роберт Флойд, США (Robert W. Floyd; 08.06.1936 – 25.09.2001)
÷ За важный вклад в такие сферы компьютерной науки, как теория синтаксического разбора, семантика языков программирования, автоматическая верификация программ, автоматический синтез программ, а также анализ алгоритмов

Кеннет Айверсон, США (Kenneth E. Iverson; 17.12.1920 – 19.10.2004)
Энтони Хоар, Великобритания (C.A.R. Hoare; род. 11.01.1934)
÷ За фундаментальный вклад в определение и проектирование языков программирования

Эдгар Кодд, Великобритания (Edgar F. Codd; 23.08.1923 – 18.04.2003)
÷ За фундаментальный вклад в теорию и практику систем управления базами данных, в особенности за реляционные базы данных

Стивен Кук, США (Stephen Arthur Cook; род. 1939)
÷ За вклад в развитие теории сложности вычислений

Деннис Ритчи, США (Dennis MacAlistair Ritchie; род. 09.09.1941)
÷ За разработку общей теории операционных систем и за создание ОС UNIX

Кен Томпсон, США (Kenneth Lane Thompson; род. 04.02.1943)
÷ За разработку общей теории операционных систем и за создание ОС UNIX

Никлаус Вирт, Швейцария (Niklaus Wirth; род. 15.02.1934)
÷ За разработку инновационных языков программирования Euler, Algol-W, Паскаль, Modula-2 и за создание персонального компьютера Lilith

Ричард Карп, США (Richard Manning Karp, род. 1935)
÷ За вклад в теорию алгоритмов и теорию NP-полноты

Джон Хопкрофт, США (John E. Hopcroft; род. 07.10.1939)
÷ За фундаментальные достижения в области проектирования и анализа алгоритмов и структур данных

Роберт Тарьян, США (Robert Endre Tarjan; род. 30.04.1948)
÷ За фундаментальные достижения в области проектирования и анализа алгоритмов и структур данных

Джон Кок, США (John Cocke; 30.05.1925 – 16.07.2002)
÷ За значительный вклад в проектирование и теорию компиляторов, архитектуру больших систем и разработку копьютеров с сокращенным набором команд (RISC)

Айван Сазерленд, США (Ivan Edward Sutherland; род. 1938)
÷ Как первопроходцу в области компьютерной графики (Sketchpad)

Уильям Кахан, Канада (William Kahan, род. 05.06.1933)
÷ За фундаментальный вклад в численный анализ
Фернандо Корбато, США (Fernando Jose Corbato; род. 01.07.1926)
÷ Как первопроходцу в области создания концепций и управления проектом разработки универсальных масштабных компьютерных систем (CTSS и MULTICS), поддерживающих разделение времени (time-sharing) и разделение ресурсов (resource-sharing)

Робин Милнер, Великобритания (Robin Milner; род. 1934)
÷ За работы в области автоматического доказательства (LCF), за первый язык с полиморфическим выводом типов (ML), за разработку общей теории параллельности (CCS)

Батлер Лэмпсон, США (Butler W. Lampson; род. 1943)
÷ За вклад в создание распределённых персональных вычислительных сред и технологий для их реализации (рабочие станции, сети, безопасность, операционные системы, системы программирования, дисплеи, настольные издательства)
Юрис Хартманис, Латвия (Juris Varlejs Hartmanis; род. 07.07.1928)
÷ За выдающие работы в области теории вычислительной сложности
Ричард Стернс, США (Richard Edwin Stearns; род. 05.07.1936)
÷ За выдающие работы в области теории вычислительной сложности

Эдвард Фейгенбаум, США (Edward Albert Feigenbaum; род. 20.01.1936)
÷ За проектирование и создание масштабных систем искусственного интеллекта, демонстрирующих практическую важность и потенциальное коммерческое влияние технологий ИИ

Даббала Рэдди, Индия (Dabbala Rajagopal "Raj" Reddy; род. 13.06.1937)
÷ За проектирование и создание масштабных систем искусственного интеллекта, демонстрирующих практическую важность и потенциальное коммерческое влияние технологий ИИ

Мануэль Блюм, Венесуэла (Manuel Blum; род. 26.04.1938)
÷ За вклад в развитие теории вычислительной сложности и ее применение в области криптографии и контроля программ
Амир Пнуэли, Израиль (Amir Pnueli; род. 22.04.1941)
÷ За выдающие работы в области темпоральной логики и верификации
Дуглас Энгельбарт, США (Douglas C. Engelbart; род. 30.01.1925)
÷ За впечатляющее предвидение будущего интерактивных систем и открытие ключевых технологий, позволяющих воплотить в жизнь это предвидение
Джеймс Грей, США ("Jim" (James) N. Gray; род. 1944)
÷ За большой вклад в исследования баз данных и технологию обоработки транзакций, а также за техническое руководоство в реализации сответствующих систем
Фредерик Брукс, США (Frederick Phillips Brooks, Jr.; род. 19.04.1931)
÷ За выдающийся вклад в области компьютерной архитектуры, операционных систем и программной инженерии
Эндрю Чи-Чи Яо, Китай (Andrew Chi-Chih Yao; род. 24.12.1946)
÷ За фундаментальные работы в области теории вычислений
Оле-Йохан Дал, Норвегия (Ole-Johan Dahl; 12.10.1931 – 29.06.2002
÷ За фундаментальные идеи в области объектно-ориентированного программирования, воплотившиеся в языках Simula I и Simula 67
Кристен Нюгард, Норвегия (Kristen Nygaard; 27.08.1926 – 10.08.2002)
÷ За фундаментальные идеи в области объектно-ориентированного программирования, воплотившиеся в языках Simula I и Simula 67
Леонард Эдльман, США (Leonard Adleman; род. 31.12.1945)
÷ За выдающийся вклад в области компьютерной архитектуры, операционных систем и программной инженерии
Рональд Ривест, США (Ronald Linn Rivest; род. 1947)
÷ За выдающийся вклад в области компьютерной архитектуры, операционных систем и программной инженерии
Эди Шамир, Израиль (Adi Shamir; род. 1952)
÷ За выдающийся вклад в области компьютерной архитектуры, операционных систем и программной инженерии
Алан Кей, США (Alan Kay; род. 17.05.1940)
÷ За фундаментальные исследования в области персональных компьютеров, за проработку многих идей, лежащих в основе современных языков объектно-ориентированного программирования, за руководство работами по созданию Smalltalk
Винтон Серф, США (Vinton G. Cerf; род. 23.06.1943)
÷ За работы в области глобальных сетей, за проектирование и реализацию базовых протоколов Интернета, включая TCP/IP
Роберт Кан, США (Robert Elliot Kahn; род. 23.12.1938)
÷ За работы в области глобальных сетей, за проектирование и реализацию базовых протоколов Интернета, включая TCP/IP
Петер Наур, Дания (Peter Naur; род. 25.10.1928)
÷ За фундаментальный вклад в проектирование языков программирования и в создание компиляторов, за описание Алгола-60
Фрэнсис Аллен, США (Frances Elizabeth "Fran" Allen; род. 1932)
÷ За достижения в области высокопроизводительных вычислений
Эдмунд Кларк, США (Edmund Melson Clarke, Jr.; род. 27.06.1945)
÷ За создание метода верификации моделей (программ)
Эрнст Эмерсон, США (Ernest Allen Emerson)
÷ За создание метода верификации моделей (программ)
Джозеф Сифакис, Греция (Joseph Sifakis)
÷ За создание метода верификации моделей (программ)
Барбара Лисков, США (Barbara Jane Liskov)
÷ За вклад в практические и теоретические основы языков программирования и системного дизайна, в частности в области исследований устойчивости к ошибкам, абстракции данных и распределённых вычислений.
Чарльз Текер, США (Charles P. Thacker)
÷ За новаторскую разработку и создание Альто, первого современного персонального компьютера, а также за его вклад в технологию Ethernet и развитие планшетных персональных компьютеров.
Лесли Вэлиант, Великобритания (Leslie Gabriel Valiant)
÷ За вклад в теорию алгоритмов, включая приближенно правильное обучение, теорию сложности перечисления и алгебраичесих исчислений, а также теорию параллельных и распределённых вычислений
Джуда Перл, США (Judea Pearl)
÷ За фундаментальный вклад в искусственный интеллект посредством разработки исчисления для проведения вероятностных и причинно-следственных рассуждений (calculus for probabilistic and causal reasoning)
Сильвио Микали, США (Silvio Micali)
÷ За новаторские работы по вероятностному шифрованию (в том числе, первую вероятностную криптосистему с открытым ключом) и работы по применению доказательств с нулевым разглашением в криптографических протоколах
Шафи Гольдвассер, США (Shafi Goldwasser)
÷ За новаторские работы по вероятностному шифрованию (в том числе, первую вероятностную криптосистему с открытым ключом) и работы по применению доказательств с нулевым разглашением в криптографических протоколах
Лесли Лэмпорт, США (Leslie Lamport)
÷ За фундаментальный вклад в теорию и практику распределённых и взаимодействующих систем, отмеченный открытием таких понятий, как причинность и логические часы, безопасность и живучесть, реплицируемые автоматы, последовательная согласованность данных
Российское Компьютерное Консолидирующее Агенство