Turing Award
Der nach Alan Turing benannte und mit 100.000 US-Dollar dotierte Turing-Preis (offizielle Bezeichnung: A. M. Turing Award) wird jährlich von der Association for Computing Machinery (ACM) an Personen verliehen, die sich besonders um die Entwicklung der Informatik verdient gemacht haben.
Preisträger
- 1966 Alan J. Perlis (fortgeschrittene Programmiertechniken und Compilerbau)
- 1967 Maurice V. Wilkes (intern gespeicherte Programme, Programmbibliotheken)
- 1968 Richard Hamming (numerische Methoden, code-erzeugende Systeme, fehlererkennende und fehlerkorregieren Codes)
- 1969 Marvin Minsky
- 1970 J.H. Wilkinson (Numerische Analysis, Lineare Algebra, "Rückwärts"-Fehleranalyse)
- 1971 John McCarthy (Künstliche Intelligenz)
- 1972 Edsger Dijkstra (Technik und Kunst der Programmiersprachen)
- 1973 Charles W. Bachman (Datenbanktechniken)
- 1974 Donald E. Knuth (Analyse von Algorithmen und Entwurf von Programmiersprachen)
- 1975 Allen Newell und Herbert A. Simon (künstliche Intelligenz , Pyschologie menschlicher Erkenntnis, Liste (Datenstruktur)nverarbeitung
- 1976 Michael O. Rabin und Dana S. Scott (nichtdeterminitische Automaten
- 1977 John Backus (high-level Programmiersysteme, formale Verfahren zur Spezifikation von Programmiersprachen)
- 1978 Robert W. Floyd (Methoden zur Erzeugung von effizienten und zuverlässigen Programmen)
- 1979 Kenneth E. Iverson (Programmiersprachen und mathematische Notation, Implementierung interaktiver Systeme, Nutzung von APL in der Ausbildung, Theorie und Praxis der Programmiersprachen)
- 1980 C. Antony R. Hoare (Definition und Design von Programmiersprachen)
- 1981 Edgar F. Codd (Datenbankmanagementsysteme, speziell Relationale Datenbanken)
- 1982 Stephen A. Cook (Komplexität von Berechnungen)
- 1983 Ken Thompson und Dennis M. Ritchie (grundlegende Betriebssystemtheorie, Implementierung von Unix)
- 1984 Niklaus Wirth (Entwicklung mehrer Programmiersprachen, u.a. Modula und Pascal)
- 1985 Richard M. Karp (Algorithmentheorie, insbesondere NP-Vollständigkeit)
- 1986 John Hopcroft und Robert Tarjan (Design und Analyse von Algorithmen und Datenstrukturen)
- 1987 John Cocke (Compilertheorie, Architektur grosser Systeme, Entwurf der RISC-Architektur)
- 1988 Ivan Sutherland (Computergrafik)
- 1989 William (Velvel) Kahan (numerische Analysis)
- 1990 Fernando J. Corbato (CTSS, Multics),
- 1991 Robin Milner (LCF, ML, CCS)
- 1992 Butler W. Lampson (verteilte, personalisierte Computerumgebungen)
- 1993 Juris Hartmanis und Richard E. Stearns (Komplexitätstheorie)
- 1994 Edward Feigenbaum und 1994 Raj Reddy (grosse Systeme künstlicher Inteligenz)
- 1995 Manuel Blum (Komplexitätstheorie, und deren Anwendung in der Kryptographie und Programmprüfung)
- 1996 Amir Pnueli (zeitliche Logik, Programm- und Systemverifizierung)
- 1997 Douglas Engelbart (Interaktive Computer)
- 1998 James Gray (Datenbanken und Transaktionsverarbeitung)
- 1999 Frederick P. Brooks, Jr. (Computerarchitektur, Betriebsysteme, Software-Engineering)
- 2000 Andrew Chi-Chih Yao (Berechenbarkeitstheorie, Pseudo-Zufallsgeneratoren, Kryptographie und Kommunikationskomplexität)
- 2001 Ole-Johan Dahl und Kristen Nygaard (Objektorientierte Programmierung)
- 2002 Ronald L. Rivest, Adi Shamir and Leonard M. Adleman (Asymmetrische Verschlüsselungsalgorithmem, speziell RSA)