Год
|
Лауреат
|
Обоснование награды
|
1992
|
Гордон Белл
|
За инновационный вклад в архитектуру и проектирование компьютеров.
|
1993
|
Фредерик Брукс
|
«For significant developments in computer architecture, insightful observations on software engineering, and for computer science education and professional service.»
|
1994
|
Джон Кок
|
За вклад в компьютерную индустрию, включая изобретение, разработку и внедрение RISC-архитектуры и технологии оптимизации программ.
|
1995
|
Дональд Кнут
|
|
1996
|
Карвер Мид[англ.]
|
|
1997
|
Морис Уилкс
|
|
1998
|
Айвен Сазерленд
|
|
1999
|
Дуглас Энгельбарт
|
|
2000
|
Джон Хеннеси и Дэвид Паттерсон
|
|
2001
|
Батлер Лэмпсон
|
|
2002
|
Оле-Йохан Даль и Кристен Нюгор
|
«For the introduction of the concepts underlying object-oriented programming through the design and implementation of SIMULA 67.»
|
2003
|
Альфред Ахо
|
«For contributions to the foundations of computer science and to the fields of algorithms and software tools.»
|
2004
|
Барбара Лисков
|
«For fundamental contributions to programming languages, programming methodology, and distributed systems.»
|
2005
|
Майкл Стоунбрейкер
|
«For contributions to the design, implementation, and commercialization of relational and object-relational database systems.»
|
2006
|
Эд Катмулл
|
«For fundamental contributions to computer graphics, and a pioneering role in the use of computer animation in motion pictures.»
|
2007
|
Чарльз Текер
|
«For a central role in the creation of the personal computer and the development of networked computer systems.»
|
2008
|
Лесли Лэмпорт
|
«For establishment of the foundations of distributed and concurrent computing.»
|
2009
|
Сьюзен Грэм[англ.]
|
«For contributions to programming language design and implementation and for exemplary service to the discipline of computer science.»
|
2010
|
Джон Хопкрофт и Джеффри Ульман
|
«For laying the foundations for the fields of automata and language theory and many seminal contributions to theoretical computer science.»
|
2011
|
Чарльз Энтони Ричард Хоар
|
«For seminal contributions to the scientific foundation of software design.»
|
2012
|
Эдуард Маккласки[англ.]
|
«For fundamental contributions that shaped the design and testing of digital systems.»
|
2013
|
Джек Деннис[англ.]
|
«For fundamental abstractions to implement protection in operating systems and for the dataflow programming paradigm.»
|
2014
|
Клив Моулер
|
«For fundamental and widely used contributions to numerical linear algebra and scientific and engineering software that transformed computational science.»
|
2015
|
Джеймс Гослинг
|
За язык программирования Java, виртуальную машину Java и другой вклад в языки и среды программирования.
|
2016
|
Христос Пападимитриу
|
«For providing a deeper understanding of computational complexity and its implications for approximation algorithms, artificial intelligence, economics, database theory, and biology.»
|
2017
|
Владимир Вапник
|
За разработку статистической теории обучения, теоретические основы машинного обучения и метод опорных векторов.
|
2018
|
Patrick Cousot[англ.]
|
За введение абстрактного толкования — мощной среды для автоматического определения свойств программ с широким применением в верификации и оптимизации.
|
2019
|
Эва Тардош
|
За вклад в области алгоритмов, включая новые основополагающие методы оптимизации, аппроксимации и алгоритмическую теорию игр.
|