| ame(s) | Area of Contribution | | a href="/encyclopedia/1966" title="1966">1966 | Alan J. Perlis | advanced programming techniques, compiler construction |
| a href="/encyclopedia/1967" title="1967">1967 | Maurice V. Wilkes | internally stored program, program libraries |
| a href="/encyclopedia/1968" title="1968">1968 | Richard Hamming | numerical methods, automatic coding systems, error-detecting and error-correcting codes |
| a href="/encyclopedia/1969" title="1969">1969 | Marvin Minsky | artificial intelligence |
| a href="/encyclopedia/1970" title="1970">1970 | James H. Wilkinson | numerical analysis, linear algebra, "backward" error analysis |
| a href="/encyclopedia/1971" title="1971">1971 | John McCarthy | artificial intelligence |
| a href="/encyclopedia/1972" title="1972">1972 | Edsger Dijkstra | the science and art of programming languages |
| a href="/encyclopedia/1973" title="1973">1973 | Charles W. Bachman | database technology |
| a href="/encyclopedia/1974" title="1974">1974 | Donald E. Knuth | analysis of algorithms and the design of programming languages |
| a href="/encyclopedia/1975" title="1975">1975 | Allen Newell and Herbert A. Simon | artificial intelligence, the psychology of human cognition, list processing |
| a href="/encyclopedia/1976" title="1976">1976 | Michael O. Rabin and Dana S. Scott | nondeterministic machines |
| a href="/encyclopedia/1977" title="1977">1977 | John Backus | high-level programming systems, formal procedures for the specification of programming languages |
| a href="/encyclopedia/1978" title="1978">1978 | Robert W. Floyd | methodologies for the creation of efficient and reliable software |
| a href="/encyclopedia/1979" title="1979">1979 | Kenneth E. Iverson | programming languages and mathematical notation, implementation of interactive systems, educational uses of APL, programming language theory and practice |
| a href="/encyclopedia/1980" title="1980">1980 | C. Antony R. Hoare | definition and design of programming languages |
| a href="/encyclopedia/1981" title="1981">1981 | Edgar F. Codd | database management systems, esp. relational databases |
| a href="/encyclopedia/1982" title="1982">1982 | Stephen A. Cook | complexity of computation |
| a href="/encyclopedia/1983" title="1983">1983 | Ken Thompson and Dennis M. Ritchie | generic operating systems theory, implementation of UNIX operating system |
| a href="/encyclopedia/1984" title="1984">1984 | Niklaus Wirth | computer language development |
| a href="/encyclopedia/1985" title="1985">1985 | Richard M. Karp | theory of algorithms esp. the theory of NP-completeness |
| a href="/encyclopedia/1986" title="1986">1986 | John Hopcroft and Robert Tarjan | design and analysis of algorithms and data structures |
| a href="/encyclopedia/1987" title="1987">1987 | John Cocke | theory of compilers, architecture of large systems, development of reduced instruction set computers (RISC) |
| a href="/encyclopedia/1988" title="1988">1988 | Ivan Sutherland | computer graphics |
| a href="/encyclopedia/1989" title="1989">1989 | William (Velvel) Kahan | numerical analysis |
| a href="/encyclopedia/1990" title="1990">1990 | Fernando J. Corbató | CTSS and Multics |
| a href="/encyclopedia/1991" title="1991">1991 | Robin Milner | LCF, ML, CCS |
| a href="/encyclopedia/1992" title="1992">1992 | Butler W. Lampson | distributed, personal computing environments |
| a href="/encyclopedia/1993" title="1993">1993 | Juris Hartmanis and Richard E. Stearns | computational complexity theory |
| a href="/encyclopedia/1994" title="1994">1994 | Edward Feigenbaum and Raj Reddy | large scale artificial intelligence systems |
| a href="/encyclopedia/1995" title="1995">1995 | Manuel Blum | computational complexity theory, its application to cryptography and program checking |
| a href="/encyclopedia/1996" title="1996">1996 | Amir Pnueli | temporal logic, program and systems verification |
| a href="/encyclopedia/1997" title="1997">1997 | Douglas Engelbart | interactive computing |
| a href="/encyclopedia/1998" title="1998">1998 | James Gray | database and transaction processing |
| a href="/encyclopedia/1999" title="1999">1999 | Frederick P. Brooks, Jr. | computer architecture, operating systems, software engineering |
| a href="/encyclopedia/2000" title="2000">2000 | Andrew Chi-Chih Yao | theory of computation incl. pseudorandom number generation, cryptography, and communication complexity |
| a href="/encyclopedia/2001" title="2001">2001 | Ole-Johan Dahl and Kristen Nygaard | object oriented programming |
| a href="/encyclopedia/2002" title="2002">2002 | Ronald L. Rivest, Adi Shamir and Leonard M. Adleman | public key cryptography |
| a href="/encyclopedia/2003" title="2003">2003 | Alan Kay | object oriented programming |
| a href="/encyclopedia/2004" title="2004">2004 | Vinton G. Cerf and Robert E. Kahn | TCP/IP Protocol |