Cтраница 1
Тьюринговская премия АСМ 1976 г. была вручена Микаэлк О. [1]
Тьюринговская премия АСМ учреждена в память А. М. Тьюринга, английского математика, сделавшего крупный вклад в информатику. [2]
Тьюринговская премия АСМ за 1977 г. была присуждена Дж. [3]
Лауреатом Тьюринговской премии 1972 г. Эдсгер Дейкстра, который в то время был, пожалуй, наиболее известен своим письмом редактору журнала Communications of the ACM, в котором он подверг резкой критике оператор GOTO как приглашение сделать из Вашей программы нечто совершенно невразумительное. Дейкстра делает ретроспективный анализ важнейших тем своей работы. Отметив значение систем EDSAC, языков Фортран, Алгол и Лисп, а также охарактеризовав полный язык PL / I как потенциально смертельное заболевание, он выдвигает как главную проблему создание надежного программного обеспечения. Дейкстра развивает важную мысль о том, что ключом к созданию надежных программ является стремление избегать ошибок с самого начала, а не устранение их после того, как программа уже написана. Он доказывает, что безошибочное программирование и экономически важно, и технически осуществимо. Эта осуществимость может быть достигнута как результат ограничения интеллектуально постижимыми программами, Экономические доводы ныне хорошо известны. [4]
Ежегодно лауреат Тьюринговской премии выступает с лекцией на осенней конференции АСМ и получает приглашение подготовить к публикации печатный вариант своего выступления. С 1966 по 1970 г. такие работы публиковались в Journal of the ACM; с 1972 г. они появляются в Communications of the АСМ. [5]
Чарльз Бахман получил Тьюринговскую премию в 1973 г. за работы в области методов создания баз данных, выполненные для компаний Дженерал Электрик и Хонейуэлл. Ему принадлежат многочисленные патенты, относящиеся к системам управления базами данных и моделям данных. Ныне он является президентом компании Бахман информейшн системе ин-корпорейтед, которая была основана в 1983 г. для обеспечения разработчиков программного обеспечения программными продуктами, поддерживающими весь дикл создания и сопровождения прикладных пакетов программ с помощью методов баз данных, системного программирования и искусственного интеллекта. [6]
Джон Уилкинсон, лауреат Тьюринговской премии 1970 г., был одним из самых прославленных специалистов по численному анализу. Всю свою жизнь ( он умер 5 октября 1986 г.) Уилкинсон занимался исследованиями по численному анализу, в особенности численными методами линейной алгебры и задачами теории возмущений. [7]
Роберт Флойд, награжденный Тьюринговской премией в 1978 r j является профессором информатики в Станфордеком университете с 1968 г. Сейчас: его научные интересы включают исправление синтаксических ошибок и ана - лиз алгоритмов. Он надеется когда-нибудь завершить учебник, служащий1 введением в теорию алгоритмов, и еще один, посвященный тому, что компьютеры ( реальные или воображаемые) могут и чего они не могут делать. Он убежден, что математика является самым лучшим инструментом серьезного пользователя компьютера. [8]
Аллен Ньюэлл, награжденный Тьюринговской премией 1975 г. вместе с Хербертом Саймоном, начинал свою научную деятельность в 50 - х годах в - Рэнд Корпорейшн. В 1961 г. он перешел в Университет Карнеги - Мелло-на, где он является профессором информатики. Его исследования сконцентрированы на решении задач и методологии познания применительно к искусственному интеллекту и когнитивной психологии. [9]
Никлаус Вирт был награжден Тьюринговской премией в 1984 г., когда он работал над проектированием и созданием персонального компьютера и однопроходного компилятора для языка Модула-2 в Швейцарском Федеральном Технологическом Институте ( ЕТН) в Цюрихе. Проведя свой годичный отпуск в Исследовательской лаборатории компании Ксерокс в Пало-Альто, Калифорния, Вирт возвратился в ЕТН в 1986 г., где он продолжает работать над операционным обеспечением, конструкциями рабочих станций, анализом архитектур микропроцессоров и основаниями программирования. [10]
Алан Перлис был первым лауреатом Тьюринговской премии, которая была присуждена в 1966 г. В 1952 г. он основал Центр цифровых компьютеров в Университете Пердью, а в 1956 г. - Вычислительный центр в Технологическом институте им. [11]
Дана Скотт и Микаэль Рабин получили Тьюринговскую премию за их раннюю совместную работу по теории автоматов. [12]
Я рад, чт & могу сегодня наградить Тьюринговской премией двух моих дарних друзей, профессоров Аллена Ньюэлда и Херберта Саймона, из Университета Карнеги - Меллона. [13]
К тому времени, когда Кен Томпсон и Дэнис Ритчи были; награждены Тьюринговской премией за 1983 г., система UNIX-переместилась из исследовательской лаборатории на коммерческий рынок. В своей лекции Ритчи рассматривает факторы, способствовавшие успеху этой системы, включая долгий инкубационный период и создание системы в условиях, когда актуальность разработки важна, но коммерческое давление отсутствует. Рнтчи приводит примеры других исследовательских разработок, в которых также была важна подобная питательная: среда, и выражает озабоченность тем, что избыток актуальности может подавить и новаторство, и свободный обмен идеями. [14]
Кен Томпсон, штатный сотрудник AT & T Bell Laboratories, Мюррей Хилл, Нью-Джерси, получил Тьюринговскую премию 1983 г. вместе с его коллегой Деннисом Ритчи. В центре его исследовательских интересов находились компиляторы, языки программирования - и операционные системы. [15]