История вычислительной техники за рубежом

Лауреаты премии Тьюринга за период с 1966 по 2004 гг.

Премия имени великого английского ученого Алана Мэтисона Тьюринга (1912–1954), одного из основоположников компьютерной науки (computer science), ежегодно присуждается международной Ассоциацией по вычислительной технике (Association for Computing Machinery, ACM). В компьютерном сообществе она считается наиболее престижной наградой, своеобразным эквивалентом Нобелевской премии. На торжественных церемониях, посвященных вручению премий, лауреаты читают лекции, часть которых собрана в книге[1], и получают чеки на 100 тыс. долларов[2].

Некоторые сведения об обладателях премии представлены в приведенных ниже таблицах.

Таблица 1

Год Лауреат Место рождения Годы жизни Ученая степень, место и год ее получения
1966 Алан Дж. Перлис
(Alan J. Perlis)
США, Питтсбург 1922–1990 Доктор Философии (Ph. D.) в области математики, Массачусетский технологический институт (MIT), 1950
1967 Морис В. Уилкс
(Maurice V. Wilkes)
Британия, Дадли 1913 Ph. D. в области физики, Кембриджский университет, 1936
1968 Ричард У. Хэмминг
(Richard W. Hamming)
США, Чикаго 1915–1998 Ph. D. в области математики, Иллинойский университет, 1942
1969 Марвин Л. Мински
(Marvin L. Minsky)
США, Нью-Йорк 1927 Ph. D., в области математики, Принстонский университет, 1954
1970 Джеймс Х. Уилкинсон
(James H. Wilkinson)
Британия, Струд 1918–1986 Бакалавр науки (B.S.) в области математики, Кембриджский университет, 1940
1971 Джон МакКарти
(John McCarthy)
США, Бостон 1927 Ph. D. в области математики, Принстонский университет, 1951
1972 Эдсгер В. Дейкстра
(Edsger W. Dijkstra)
Нидерланды, Роттердам 1930–2000 Ph. D. в области физики, Лейденский университет, 1956
1973 Чарльз У. Бахман
(Charles W. Bachman)
США 1924 Ph. D. в области электротехники, Калифорнийский университет (Беркли), 1967
1974 Дональд Э. Кнут
(Donald E. Knuth)
США, Милуоки 1938 Ph. D. в области математики, Калифорнийский технологический институт, 1963
1975 Ален Ньюэлл
(Allen Newell),
Герберт А. Саймон
(Herbert A. Simon)
США, Сан-Франциско
США, Милуоки
1927–1992
1916–2001
Магистр науки (M.S.) в области математики, Принстонский университет, 1950
Ph. D. в области политических наук, Чикагский университет, 1943
1976 Михаэль О. Рабин
(Michael O. Rabin),
Дана С. Скотт (Dana S. Scott)
Германия, Бреслау
США
1931
1932
Ph. D. в области компьютерной науки, Принстонский университет, 1956.
Ph. D. в области математики, Принстонский университет, 1958
1977 Джон У. Бэкус
(John W. Backus)
США, Филадельфия 1924 B.S. в области в области математики,, Колумбийский университет, 1949
1978 Роберт У. Флойд
(Robert W. Floyd)
США, Нью-Йорк 1936–2001 B.S. в области физики, Чикагский университет, 1958
1979 Кеннет Ю. Айверсон
(Kenneth E. Iverson)
Канада, Кэмроуз 1920–2004 Ph. D. в области прикладной математики, Гарвардский университет, 1954
1980 Ч. Энтони Р. Хоар
(C. Anthony R. Hoare)
Шри Ланка, Коломбо 1934 B.S. в области классической литературы и языков, Оксфордский университет, 1956
1981 Эдгар Ф. Кодд
(Edgar F. Codd)
Британия, Портленд 1923–2003 Ph. D. в области теории связи, Университет штата Мичиган, 1965
1982 Стефен А. Кук
(Stephen A. Cook)
США, Буффало 1942 (?) Ph. D. в области математики, Гарвардский университет, 1966
1983 Кеннет Томпсон
(Kenneth Thompson),
Деннис М. Ритчи
(Dennis M. Ritchie)
США, Нью-Орлеан
США, Нью-Йорк
1943
1941
M.S. в области электротехники, Калифорнийский университет (Беркли)
Ph. D. в области математики, Гарвардский университет, 1968
1984 Никлаус Э. Вирт
(Niklaus E. Wirth)
Швейцария, Винтертур 1934 Ph. D. в области электротехники, Калифорнийский университет (Беркли), 1963.
1985 Ричард М. Карп
(Richard M. Karp)
США, Бостон 1935 Ph. D. в области прикладной математики, Гарвардский университет, 1959
1986 Джон Ю. Хопкрофт
(John Е. Hopcroft),
Роберт Э. Тарьян
(Robert E. Tarjan)
США, Помона
США
1939
1948
Ph. D. в области прикладной математики, Стэнфордский университет, 1964
Ph. D. в области компьютерной науки, Стэнфордский университет, 1972
1987 Джон Кок (John Cocke) США, Шарлотт 1925–2002 Ph. D. в области математики, Университет Дюка, 1953
1988 Айвен Э. Сазерленд
(Ivan E. Sutherland)
США, Хастингс 1938 Ph. D. в области электротехники, MIT, 1950
1989 Уильям Каган
(William Kahan)
Канада, Торонто 1933 Ph. D. в области математики, Университет Торонто, 1958
1990 Фернандо Х. Корбато
(Fernando J. Corbato)
США, Окленд 1926 Ph. D. в области физики, MIT,1956
1991 Робин Милнер
(Robin Milner)
Британия, Плимут 1934 M.S. в области математики, Кембриджский университет, 1957
1992 Батлер У. Лэмпсон
(Butler W. Lampson)
США, Вашингтон, 1943 Ph. D. в области электротехники, Калифорнийский университет (Беркли), 1967
1993 Юрис Хартманис
(Juris Hartmanis),
Ричард Э. Стирнс
(Richard E. Stearns)
Латвия, Рига
США
1928
1938 (?)
Ph. D. в области математики,
Калифорнийский технологический университет, 1955
1994 Эдуард А. Фейгенбаум
(Edward A. Feigenbaum)
Рай Редди
(Raj Reddy)
США, Вихокен
Индия, Мадрас
1936
1939 (?)
Ph. D. в области электротехники Университет Карнеги-Меллона, 1960
Ph. D. в области математики, Стэнфордский университет, 1966
1995 Мануэль Блум
(Manuel Blum)
Венесуэла, Каракас 1938 Ph. D. в области математики, MIT, 1964
1996 Амир Пнуэли
(Amir Pnueli)
Израиль, Нахалал 1941 Ph. D. в области прикладной математики, Научно-исследовательский институт им. Вейцмана, 1967
1997 Дуглас К. Энгельбарт
(Douglas C. Engelbart)
США, Орегон 1925 Ph. D. в области электротехники, Калифорнийский университет (Беркли),1955
1998 Джеймс Н. Грей
(James N. Gray)
США 1944 Ph. D. в области компьютерной науки, Калифорнийский университет (Беркли), 1969
1999 Фредерик Ф. Брукс, мл.
(Frederick Ph. Brooks, Jr.)
США, Дюргэм 1941 Ph. D. в области прикладной математики, Гарвардский университет, 1956
2000 Эндрю Чи-Чин Яо
(Andrew Chi-Chih Yao)
Китай, Шанхай 1946 Ph. D. в области физики, Гарвардский университет, 1972,
Ph. D. в области компьютерной науки, Иллинойской университет, 1975
2001 Оле-Йохан Даль
(Ole-Johan Dahl),
Кристен Нигаард
(Kristen Nygaard)
Норвегия, Мандал,
Норвегия, Осло
1931–2002
1926–2002
М. S. в области математики, Университет Осло, 1960
М. S. в области математики, Университет Осло, 1956
2002 Рональд Л. Ривест
(Ronald L. Rivest),
Ади Шамир
(Adi Shamir),
Леонард М. Эделман
(Leonard M. Adleman)
США, Скэнектади
Израиль, Тель-Авив
США, Сан-Франциско
1947
1952
1945
Ph. D. в области компьютерной науки, Стэнфордский университет, 1974
Ph. D. в области компьютерной науки Научно-исследовательского института имени Вейцмана, 1977
Ph. D. в области компьютерной науки, Калифорнийский университет (Беркли), 1976
2003 Алан К. Кей
(Alan С. Kay)
США, Спрингфельд 1940 Ph. D. в области электротехники, Университет шт. Юта, 1970
2004 Винтон Дж. Серф
(Vinton G. Cerf),
Роберт Э. Канн
(Robert E. Kahn)
США, Нью-Хевен
США, Нью-Йорк
1943
1938
Ph. D. в области компьютерной науки, Калифорнийский университет (Лос-Анджелес),1972
Ph. D. в области электротехники, Принстонский университет, 1964

Таблица 2

Лауреат Научные заслуги, за которые присуждена премия Последнее место работы и должность
Алан Дж. Перлис Исследования в области программирования и, в частности, разработка методов построения компиляторов Профессор компьютерной науки Йельского университета
Морис В. Уилкс Руководство разработкой первой, практически эксплуатировавшейся, ЭВМ с хранимой в памяти программой (EDSAC), развитие идеи и разработка библиотек подпрограмм Почетный профессор (Emeritus Professor) компьютерной науки Кембриджского университета
Ричард У. Хэмминг Исследования численных методов, систем автоматического кодирования, методов обнаружения и исправления ошибок в кодированной информации Почетный профессор математики Высшей Военно-морской школы (Монтерей, штат Калифорния)
Марвин Л. Мински Исследования в области искусственного интеллекта Профессор компьютерной науки MIT
Джеймс Х. Уилкинсон Исследования в области численного анализа Профессор компьютерной науки Стэнфордского университета
Джон МакКарти Исследования в области искусственного интеллекта Почетный профессор компьютерной науки Стэнфордского университета
Эдсгер В. Дейкстра Развитие теории и практики программирования, создание языков программирования Заведующий кафедрой компьютерной науки Университета штата Техас (Остин)
Чарльз У. Бахман Исследования в области методов создания баз данных и СУБД Независимый консультант (freelance consultant)
Дональд Э. Кнут Исследования методов анализа алгоритмов, создание языков программирования, семитомное "Искусство программирования для ЭВМ" Почетный профессор компьютерной науки Стэнфордского университета
Ален Ньюэлл
Герберт А. Саймон
Исследования в области искусственного интеллекта, психологии человеческого мышления (psychology of human cognition), обработки списков, эвристических методов решения задач Профессор компьютерной науки Университета Карнеги-Меллона
Профессор компьютерной науки Университета Карнеги-Меллона
Михаэль О. Рабин
Дана С. Скотт
Исследования в области теории вероятностных автоматов Профессор компьютерной науки Гарвардского университета
Профессор компьютерной науки Университета Карнеги-Меллона
Джон У. Бэкус Создание языков программирования, в частности, FORTRANа, разработка формальных процедур (formal procedures) спецификации языков программирования Свободный исследователь (Fellow) корпорации IBM
Роберт У. Флойд Исследования в области теории синтаксического анализа и семантики языков программирования, анализа алгоритмов, методов автоматической проверки программ (automatic program verification) Почетный профессор компьютерной науки Стэнфордского университета
Кеннет Ю. Айверсон Пионерские работы в области математической символики, теории и практики программирования, приведшие к созданию языка APL, вклад в развитие интерактивных систем IBM Fellow
Ч. Энтони Р. Хоар Фундаментальные работы в области формального описания и конструирования языков программирования посредством аксиоматической семантики Почетный профессор компьютерной науки Оксфордского университета
Эдгар Ф. Кодд Исследования в области реляционных баз данных и СУБД IBM Fellow
Стефен А. Кук Исследования в области вычислительной сложности (complexity of computation), пионерские работы по теории NP-полноты (NP-completeness) Профессор компьютерной науки Университета Торонто
Кеннет Томпсон
Денис М. Ритчи
Исследования в области теории операционных систем, создание и реализация операционной системы UNIX Fellow компании Entrisphere, Inc.
Руководитель департамента программирования компании Lucent Technologies System, Inc.
Никлаус Э. Вирт Разработка языков программирования EULER, ALGOL-W, PASCAL и MODULA Профессор информатики Федерального технического университета (ETH), Цюрих
Ричард М. Карп Развитие теории алгоритмов, в частности, работы по NP-полноте Профессор компьютерной науки Калифорнийского университета (Беркли)
Джон Хопкрофт
Роберт Э. Тарьян
Развитие методов конструирования и анализа алгоритмов и структур данных Профессор прикладной математики Корнельского университета
Профессор компьютерной науки Принстонского университета
Джон Кок Вклад в теорию компиляторов, архитектуру больших вычислительных систем, развитие теории "компьютера с упрощенным набором команд" (RISC) IBM Fellow
Айвен Э. Сазерленд Пионерские исследования в области компьютерной графики, виртуальной компьютерной реальности Fellow компании Sun Microsystems, Inc.
Уильям Каган Исследования в области численного анализа, в т.ч. выполнения вычислений над числами в форме с плавающей запятой и создание стандарта IEEE 754 Профессор компьютерной науки Калифорнийского университета (Беркли)
Фернандо Х. Корбато Пионерские работы в области создания компьютерных систем, работающих в режиме разделения времени, в частности систем CTSS и Multics Профессор компьютерной науки MIT
Робин Милнер Создание средств интерактивного доказательства теорем LCF (Logic for Computable Functions) универсального языка функционального программирования ML (Milner Language), теоретических основ анализа параллельных (concurrent) систем CCS (calculus of communicating systems) Руководитель Компьютерной лаборатории Кембриджского университета
Батлер У. Лэмпсон Исследования технологии созданию распределенной среды персонального компьютинга, в т. ч. создание рабочих станций сетей, операционных систем, систем защиты информации и т. д. Ведущий исследователь (Distinguished Engineer) Microsoft Corp.
Юрис Хартманис
Ричард Э. Стирнс
Основополагающие исследования в области теории сложности вычислений Профессор компьютерной науки Корнельского университета
Почетный профессор компьютерной науки Нью-Йорского университета
Эдуард А. Фейгенбаум,
Рай Редди
Исследования в области больших систем искусственного интеллекта Профессор компьютерной науки Стэнфордского университета
Профессор компьютерной науки Университета Карнеги-Меллона
Мануэль Блум Исследования в области теории сложности вычислений и ее применения в криптографии и верификации программ Профессор компьютерной науки Университета Карнеги-Меллона
Амир Пнуэли Основополагающие Исследования по временной (temporal) логике и системам верификации программ Профессор компьютерной науки Научно-исследовательского института им. Вейцмана
Дуглас К. Энгельбарт Предвидение интерактивного компьютинга и создание ключевых технологии для его реализации Директор Bootstrap Institute
Джеймс Н. Грей Исследования в области создания баз данных и обработки транзакций Ведущий исследователь, Microsoft Research
Фредерик Ф. Брукс, мл. Исследования в области архитектуры компьютеров, операционных систем, программотехники Руководитель Департамента компьютерной науки Университета штата Северная Каролина
Эндрю Чи-Чин Яо Исследования в области теории вычислений, в т. ч. криптографии, генерации псевдослучайных чисел, теории сложности вычислений Профессор Центра перспективных исследований Университета Чинхуа (Пекин)
Оле-Йохан Даль
Кристен Нигаард
Пионерские идеи в области объектно-ориентированного программирования (ООП), создание языков программирования SIMULA I, SIMULA 67 Профессор компьютерной науки Университета Осло
Профессор компьютерной науки Университета Осло
Рональд Л. Ривест
Ади Шамир
Леонард М. Эделман
Создание системы ассиметричного шифрования с открытыми ключами (RSA encrypting) Профессор компьютерной науки MIT
Профессор компьютерной науки Научно-исследовательского института имени Вейцмана
Профессор компьютерной науки Южно-калифорнийского университета
Алан К. Кей Исследования в области ООП, в частности руководство созданием языка SMALLTALK Старший Fellow компании Hewlett-Packard, Inc.
Винтон Дж. Серф
Роберт Э. Канн
Разработка протокола управления передачей/межсетевого протокола (TCP/IP) Старший вице-президент по вопросам архитектуры и технологии Интернета компании MCI, Inc.
Президент, председатель Совета директоров и генеральный директор корпорации CNRI

Анализ таблиц позволяет сделать следующие выводы.

Средний возраст лауреата – около 53,5 лет.

Большинство лауреатов – американцы, либо работавшие в США уроженцы других стран (Великобритании, Канады, Израиля и Норвегии, Нидерландов, Германии, Латвии, Индии, Венесуэлы и Китая).

Лауреаты являются выпускниками 19 университетов в США, Великобритании, Канаде, Израиле, Норвегии, причем сорок из сорока девяти лауреатов получили образование в США (семь – в Калифорнийском университет в Беркли, по шести – в Гарвардском и Принстонском университетах, по четыре – в Массачусетском технологическом институте и Стэнфордском университете и т. д.).

Сорок лауреатов являются обладателями степени доктора философии, пять лауреатов завершили образование со степенью магистра, четыре – со степенью бакалавра.

Большинство лауреатов получили ученые степени в области чистой и прикладной математики[3], электротехники, физики и компьютерной науки.

Большинство лауреатов (тридцать шесть) являются или являлись профессорами компьютерной науки (Стэнфордского университета, Университета Карнеги-Меллона Массачусетского технологического института и т. д.), другие занимают престижные должности в корпорациях IBM., Microsoft., Hewlett-Packard, Sun Microsystems, Inc. и других, или являются учредителями и руководителями научно-исследовательских организаций: Ривест основал RSA Data Security. Энгельбарт – Bootstrap Institute, Канн – Corporation for National Research Initiatives (CNRI).

Некоторые лауреаты совмещают преподавательскую деятельность с работой в крупных компьютерных компаниях (так, например, Хоар является сотрудником филиала Microsoft Corp., в Британии, Тарьян работает в Hewlett-Packard).

Остается сожалеть, что в списке лауреатов отсутствуют такие выдающиеся отечественные ученые, как С. А. Лебедев, А. П. Ершов, В. М. Глушков, О. Б. Лупанов и С. В. Яблонский и другие.

Статья опубликована 14.11.2005 г.

Примечания

1. Лекции лауреатов премии Тьюринга за первые двадцать лет: Пер. с англ. / Под ред. Р. Эшенхёрста. – М.: Мир, 1993 г.

2. Спонсором премии является Intel Corp.

3. Курс прикладной математики в ряде университетов (в частности, в Гарвардском) включал значительный объем сведений из компьютерной науки.