| Год
|
Лауреат
|
Обоснование награды
|
| 1977
|
Джордж Роберт Штибиц
|
«For pioneering contributions to the development of computers, utilizing binary and floating-point arithmetic, memory indexing, operation from a remote console, and program-controlled computations»
|
| 1978
|
Джон Преспер Эккерт и
Джон Мокли
|
«For the design and construction of electronic digital computers which stimulated the development of the computer industry»
|
| 1979
|
Ричард Уэсли Хэмминг
|
«For introduction of error correcting codes, pioneering work in operating systems and programming languages, and the advancement of numerical computation»
|
| 1980
|
Рабинер, Лоренс и
Ronald W. Schafer[англ.]
|
«For their contributions to digital speech processing and digital filter design»
|
| 1981
|
Премия не присуждалась
|
| 1982
|
Кен Томпсон и
Деннис Ритчи
|
«For the creation and development of an operating system of high utility, availability, and instructive value, as embodied in UNIX and its related facilities»
|
| 1983
|
Никлаус Вирт
|
«For creative contribution to programming language and design methodology as exemplified by his development of the Pascal language»
|
| 1984
|
Harvey Cragon[англ.]
|
«For creative contributions and leadership in uniting computer architecture with the inherent capabilities of the integrated»
|
| 1985
|
Azriel Rosenfeld[англ.]
|
«For fundamental contributions to digital image processing»
|
| 1986
|
David C. Evans[англ.] и
Айвен Сазерленд
|
«"For pioneering work in the development of interactive computer graphics systems and contributions to computer science education»
|
| 1987
|
David Kuck[англ.]
|
«For contributions to optimizing compilers for supercomputers»
|
| 1988
|
Грейс Хоппер
|
«For pioneering contributions in information processing and programming language»
|
| 1989
|
Peter A. Franaszek[англ.]
|
«"For contributions to the theory and practice of coding for contrained channels in digital recording»
|
| 1990
|
Аллен Ньюэлл
|
«For seminal contributions to artificial intelligence»
|
| 1991
|
Joseph F. Traub[англ.]
|
«For pioneering research in algorithm complexity, iteration theory and parallelism, and for leadership in computing education»
|
| 1992
|
Harold S. Stone[нем.]
|
«For fundamental contributions to parallel computer technology, and to computer science education»
|
| 1993
|
Makoto Nagao[англ.]
|
«For leadership and contributions to natural language processing and computer vision areas»
|
| 1994
|
Джон Лерой Хеннесси
|
«For contributions to quantitative evaluation of computer architectures and the successful implementation of Reduced»
|
| 1995
|
Yale N. Patt[англ.]
|
«For contributions to computer architecture leading to commercially viable high performance microprocessors»
|
| 1996
|
Edward J. McCluskey[англ.]
|
«"For pioneering and fundamental contributions to design automation and fault tolerant computing»
|
| 1997
|
Shun'ichi Amari[англ.]
|
«For pioneering contributions and leadership in neural networks and information geometry»
|
| 1998
|
Janak H. Patel
|
«For contributions to test generation and computer architecture»
|
| 1999
|
Narendra Ahuja[англ.]
|
«For contributions to computer vision and image processing»
|
| 2000
|
Уильям Мортон Кэхэн
|
«For contributions to numerical analysis and standardization of floating-point arithmetic»
|
| 2001
|
Ravishankar K. Iyer[англ.]
|
«For fundamental contributions to measurement, evaluation, and design of reliable computing systems»
|
| 2002
|
Brian Randell[англ.]
|
«For seminal contributions to and leadership in computer system dependability research»
|
| 2003
|
Giovanni De Micheli[англ.]
|
«For contributions to computer-aided synthesis of digital systems»
|
| 2004
|
Лесли Лэмпорт
|
«For seminal contributions to the theory and practice of concurrent programming and fault-tolerant computing»
|
| 2005
|
Jacob A. Abraham[англ.]
|
«For contributions to the development of reliable and testable computer hardware systems»
|
| 2006
|
Robert K. Brayton[англ.]
|
«For development of the field of logic synthesis from its early inception through industrial maturity»
|
| 2007
|
Randal Bryant[англ.]
|
«For seminal contributions to the field of computer-aided circuit design and verification, including the development and promulgation of ordered binary decision diagrams.»
|
| 2008
|
Richard Rashid[англ.]
|
«For contributions to the design of modern operating systems, and for innovation and leadership in industrial research»
|
| 2009
|
David DeWitt[англ.]
|
«For fundamental contributions to the architecture, algorithms, and implementation of innovative database systems»
|
| 2010
|
Нэнси Энн Линч
|
«For contributions of foundations of distributed and concurrent computing»
|
| 2011
|
Шафи Гольдвассер
|
«For pioneering work in laying the foundations of modern cryptography and its relation to complexity theory»
|
| 2012
|
Fred B. Schneider[англ.]
|
«For contributions to trustworthy computing through novel approaches to security, fault tolerance and formal methods for concurrent and distributed systems»
|
