История вычислительной техники. Казакова И.А. - 225 стр.

                                                 Продолжение табл. Г.1
 1         2                                    3
1989 Уильям Кэхэн     За вклад в численный анализ. Один из первых
                      экспертов в вычислениях с плавающей запятой
1990   Фернандо Х.    За работу по созданию концепции общецелевых,
       Корбато        крупномасштабных компьютерных систем
                      с разделением времени и ресурсов CTSS и Multics
1991   Робин Милнер   За три различных полноценных достижения:
                      1) создание инструмента, автоматизирующего
                      доказательства в логике вычислимых функций;
                      2) создание ML – первого языка программирования,
                      использующего полиморфный вывод типов вместе
                      с типизированным механизмом обработки ошибок;
                      3) создание общей теории конкурентных вычислений,
                      теории о связи между операционной
                      и денотационной семантиками
1992   Батлер В.      За вклад в разработку распределенных, персональных
       Лэмпсон        вычислительных сред и технологию их реализации:
                      рабочие станции, сети, операционные системы,
                      программные системы, дисплеи, безопасность
                      и обмен документами
1993   Юрис Хартманис За работы по теории сложности вычислений
       и Ричард Э.
       Стернс
1994   Эдвард         За создание крупномасштабных систем искус-
       Фейгенбаум     ственного интеллекта и демонстрацию практической
       и Радж Редди   важности и потенциальной коммерческой выгоды
                      от технологий, использующих искусственный
                      интеллект
1995   Мануэль Блюм   За работы по теории сложности вычислений
                      и ее применению к криптографии и верификации
                      программ
1996   Амир Пнуели    За работу по внедрению темпоральной логики
                      в вычислительные науки и за выдающийся вклад
                      в верификацию программ и систем
1997   Дуглас         За изобретение ключевых технологий развития
       Энгельбарт     интерактивных вычислений
1998   Джим Грей      За работы в области баз данных, исследования
                      обработки транзакций и техническое лидерство
                      в реализации систем
1999   Фредерик Ф.,   За вклад в компьютерную архитектуру,
       Брукс, Мл.     операционные системы и проектирование
                      программного обеспечения

                                  225