Cтраница 2
В 1980 г. он был награжден премией Тьюринга за его вклад в формальное определение языков программирования посредством аксиоматической семантики. [16]
С, Скотт является одним из двух лауреатов премии Тьюринга 1976 г., врученной ему на ежегодной конференции АСМ 20 октября в Хьюстоне. Статья другого лауреата, М. О. Ра-бина, Сложность вычислений напечатана на стр. [17]
Это была цитата из официального заключения Комитета по премиям Тьюринга, но существует менее формальная сторона сегодняшней презентации. Я хотел бы, чтобы вы поняли, что лауреаты этой премии - реальные люди, сделавшие великолепную работу, но очень похожие на всех присутствующих здесь сегодня. [18]
Еще один момент, заслуживающий внимания, - это собственно премии Тьюринга. Из 9 премий, которыми АСМ отмечает специалистов за их научные достижения и особые профессиональные заслуги, премия Тьюринга наиболее почетна и престижна. Премия присуждается за совершенно конкретные результаты и в этом можно убедиться, прочитав представления лауреатов. Лауреатом нельзя стать вторично. [19]
Никлаус Вирт из Швейцарского государственного технологического института ( ЕТН) был награжден премией Тьюринга в 1984 г. на ежегодной конференции Ассоциации, состояв-щейся в Сан-Франциско в октябре. [20]
Когда я наконец оправился от радостного шока в связи с приглашением прочесть лекцию лауреата премии Тьюринга за 1970 г., то осознал, что и в самом деле должен подготовить приличествующую случаю лекцию. По-видимому, сложилась традиция, согласно которой лауреат должен сам решить, чего от него ждут, и, возможно, по этой причине предыдущие лекции заметно различались по стилю и содержанию. Однако мне было совершенно четко сказано, что я должен произнести послеобеденную речь и что под рукой у меня не будет ни проектора, ни доски. [21]
Марвин Минский работал над устройством Robot С - первым роботом, руки которого должны были двигаться подобно человеческим, когда он был награжден премией Тьюринга в 1969 г. Он продолжает преподавать и проводить исследования в Массачусетском технологическом институте ( MIT), где юн является профессором факультета электроники и информатики. Его научная деятельность связана с рядом проектов, в основном в области искусственного интеллекта, включая математическую теорию вычислений и робототехнику. [22]
Эта премия присуждается ежегодно с 1966 г. и ею отмечаются личные заслуги тех специалистов, которые внесли существенный вклад, имеющий непреходящее значение для информатики. Премия Тьюринга по сути своей международная, и многие ее лауреаты живут за пределами Соединенных Штатов; она считается самой почетной премией в информатике. [23]
Разрешите мне сначала сказать несколько слов о своих личных впечатлениях. Когда человеку сообщают, что ему присуждена премия Тьюринга, то сначала это его удивляет, особенна vCMH премия присуждена нетеоретику. Через некоторое время удивление сменяется радостью. Несколько позже возникают вопросы. Почему на фоне всего того, что сделано и делается в области вычислений ЭВМ, выделили меня и мок работу. Мне кажется, это происходит ежегодно с кем-нибудь, а в этом году счастье выпало мне. [24]
Еще один момент, заслуживающий внимания, - это собственно премии Тьюринга. Из 9 премий, которыми АСМ отмечает специалистов за их научные достижения и особые профессиональные заслуги, премия Тьюринга наиболее почетна и престижна. Премия присуждается за совершенно конкретные результаты и в этом можно убедиться, прочитав представления лауреатов. Лауреатом нельзя стать вторично. [25]
Я был счастлив иметь сотрудников, которые позволили себе увлечься проектом, и я хочу воспользоваться этой возможностью, чтобы поблагодарить их всех за существенный вклад, который они внесли в нашу работу. Я признателен всем, кто так или иначе участвовал в разработках: непосредственно в нашей группе или же помогая нам, тем, кто проверял наши результаты и сообщал о своих впечатлениях, подавал новые идеи, критикуя или одобряя нашу работу, тем, кто создавал общества пользователей. Без них ни Алгол-W, ни Паскаль, ни Модула-2, ни Лилит не стали бы тем, чем они являются сейчас. Эта премия Тьюринга высоко оценивает также и их вклад. [26]