Лауреаты премии Тьюринга за период с 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. Курс прикладной математики в ряде университетов (в частности, в Гарвардском) включал значительный объем сведений из компьютерной науки.
