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

                                                     Окончание табл. Г.1
 1         2                                    3
2000 Эндрю Чи-Чи Яо     За вклад в теорию вычислений, включающий теорию
                        генерации псевдослучайных чисел, криптографию
                        и коммуникационную сложность
2001 Уле-Йохан Даль     За идеи развития объектно ориентированного
     и Кристен          программирования, возникшие в ходе разработки
     Нигаард            языков программирования Simula I и Simula 67
2002 Рональд Л.         За вклад по увеличению практической пользы
     Ривест, Шамир,     систем шифрования с открытым ключом
     Ади и Леонард
     М. Адлеман
2003 Алан Кэй         За многочисленные идеи, которые легли в основу
                      современных объектно ориентированных языков,
                      и за вклад в развитие персональных компьютеров
2004 Винтон Серф      За работы по проблеме межсетевого обмена,
     и Роберт Кан     включая разработку и реализацию основных
                      Интернет-протоколов, TCP/IP и за ведущую роль
                      в области компьютерных сетей
2005 Питер Наур       За вклад в проектирование языков программирования
                      и создание языка Алгол-60, а также в проектирование
                      компиляторов и в искусство и технику компьютерного
                      программирования
2006 Френсис Э. Аллен За вклад в теорию и практику оптимизации
                      компьютерных программ. Это послужило основой
                      для современных оптимизирующих компиляторов
                      и автоматического распараллеливания программ
2007 Эдмунд М.        За вклад в развитие теории проверки моделей –
     Кларк, Аллен     высокоэффективную технику верификации
     Эмерсон          программ, широко применяемую при разработке
     и Иосиф Сифакис как программного, так и аппаратного обеспечения
2008 Барбара Лисков   За вклад в разработку практических и теоретических
                      основ языков программирования и системного
                      дизайна (в области исследований устойчивости
                      к ошибкам, абстракции данных и распределенных
                      вычислений).
2009 Чарльз Текер     За вклад в технологию Ethernet и развитие
                      планшетных персональных компьютеров




                                  226