Jahr |
Person |
Nationalität |
Leistung |
1966 |
Alan J. Perlis |
Vereinigte Staaten |
Fortgeschrittene Programmiertechniken und Compilerbau |
1967 |
Maurice V. Wilkes |
Vereinigtes Königreich |
Intern gespeicherte Programme, Programmbibliotheken |
1968 |
Richard Hamming |
Vereinigte Staaten |
Numerische Methoden, code-erzeugende Systeme, fehlererkennende und fehlerkorrigierende Codes |
1969 |
Marvin Minsky |
Vereinigte Staaten |
Künstliche Intelligenz |
1970 |
James Hardy Wilkinson |
Vereinigtes Königreich |
Numerische Mathematik, lineare Algebra, "Rückwärts"-Fehleranalyse |
1971 |
John McCarthy |
Vereinigte Staaten |
Künstliche Intelligenz |
1972 |
Edsger W. Dijkstra |
Niederlande |
Technik und Kunst der Programmiersprachen |
1973 |
Charles W. Bachman |
Vereinigte Staaten |
Datenbanktechniken |
1974 |
Donald E. Knuth |
Vereinigte Staaten |
Analyse von Algorithmen und Entwurf von Programmiersprachen |
1975 |
Allen Newell |
Vereinigte Staaten |
Künstliche Intelligenz, Psychologie menschlicher Erkenntnis, Listenverarbeitung |
Herbert Simon |
Vereinigte Staaten |
1976 |
Michael O. Rabin |
Israel |
Nichtdeterministische Automaten |
Dana Scott |
Vereinigte Staaten |
1977 |
John Backus |
Vereinigte Staaten |
Highlevel-Programmiersysteme, formale Verfahren zur Spezifikation von Programmiersprachen |
1978 |
Robert W. Floyd |
Vereinigte Staaten |
Methoden zur Erzeugung von effizienten und zuverlässigen Programmen |
1979 |
Kenneth E. Iverson |
Kanada |
Programmiersprachen und mathematische Notation, Implementierung interaktiver Systeme, Nutzung von APL in der Ausbildung, Theorie und Praxis der Programmiersprachen |
1980 |
C. Antony R. Hoare |
Vereinigtes Königreich |
Definition und Design von Programmiersprachen |
1981 |
Edgar F. Codd |
Vereinigtes Königreich |
Datenbankmanagementsysteme, speziell Relationale Datenbanken |
1982 |
Stephen A. Cook |
Vereinigte Staaten |
Komplexitätstheorie |
1983 |
Ken Thompson |
Vereinigte Staaten |
Grundlegende Betriebssystemtheorie, Implementierung von Unix |
Dennis M. Ritchie |
Vereinigte Staaten |
1984 |
Niklaus Wirth |
Schweiz |
Entwicklung mehrerer Programmiersprachen, u. a. Modula und Pascal |
1985 |
Richard M. Karp |
Vereinigte Staaten |
Algorithmentheorie, insbesondere NP-Vollständigkeit |
1986 |
John E. Hopcroft |
Vereinigte Staaten |
Design und Analyse von Algorithmen und Datenstrukturen |
Robert Tarjan |
Vereinigte Staaten |
1987 |
John Cocke |
Vereinigte Staaten |
Compilertheorie, Architektur großer Systeme, Entwurf der RISC-Architektur |
1988 |
Ivan Sutherland |
Vereinigte Staaten |
Computergrafik |
1989 |
William Kahan |
Kanada |
Numerische Mathematik |
1990 |
Fernando José Corbató |
Vereinigte Staaten |
CTSS, Multics |
1991 |
Robin Milner |
Vereinigtes Königreich |
LCF, ML, CCS |
1992 |
Butler Lampson |
Vereinigte Staaten |
Verteilte, personalisierte Computerumgebungen |
1993 |
Juris Hartmanis |
Vereinigte Staaten |
Komplexitätstheorie |
Richard E. Stearns |
Vereinigte Staaten |
1994 |
Edward Feigenbaum |
Vereinigte Staaten |
Große Systeme künstlicher Intelligenz |
Raj Reddy |
Vereinigte Staaten |
1995 |
Manuel Blum |
Venezuela |
Komplexitätstheorie und deren Anwendung in der Kryptographie und Programmprüfung |
1996 |
Amir Pnueli |
Israel |
Zeitliche Logik, Programm- und Systemverifizierung |
1997 |
Douglas Engelbart |
Vereinigte Staaten |
Interaktive Computer |
1998 |
James N. Gray |
Vereinigte Staaten |
Datenbanken und Transaktionsverarbeitung |
1999 |
Frederick P. Brooks |
Vereinigte Staaten |
Rechnerarchitektur, Betriebssysteme, Software-Engineering |
2000 |
Andrew Yao |
China |
Berechenbarkeitstheorie, Pseudozufallszahlengeneratoren, Kryptographie und Kommunikationskomplexität |
2001 |
Ole-Johan Dahl |
Norwegen |
Objektorientierte Programmierung |
Kristen Nygaard |
Norwegen |
2002 |
Ronald L. Rivest |
Vereinigte Staaten |
Asymmetrische Verschlüsselungsalgorithmen, speziell RSA |
Adi Shamir |
Israel |
Leonard M. Adleman |
Vereinigte Staaten |
2003 |
Alan Kay |
Vereinigte Staaten |
Lebenswerk, insbesondere die Entwicklung von Smalltalk und des objektorientierten Programmierens |
2004 |
Vinton G. Cerf |
Vereinigte Staaten |
Entwicklung von TCP/IP |
Robert E. Kahn |
Vereinigte Staaten |
2005 |
Peter Naur |
Dänemark |
Beiträge zum Design von Programmiersprachen und der Definition von Algol 60, Compilerdesign und der Kunst und Praxis des Programmierens |
2006 |
Frances E. Allen |
Vereinigte Staaten |
Innovationen im Hochleistungsrechnen |
2007 |
Edmund M. Clarke |
Vereinigte Staaten |
Modellprüfung |
E. Allen Emerson |
Vereinigte Staaten |
Joseph Sifakis |
Griechenland |
2008 |
Barbara Liskov |
Vereinigte Staaten |
Beiträge zu Programmiersprachen und Systemdesign, insbesondere im Zusammenhang mit Datenabstraktion, Fehlertoleranz und verteiltem Rechnen |