Turing-Preis

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 fehlerkorrigierende 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 mehrerer 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 großer 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 Raj Reddy (große 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, Betriebssysteme, 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)
• 2003 Alan Kay (für sein Lebenswerk, insbesondere die Entwicklung von Smalltalk und des objektorientieren Programmieres)

Weblinks

• http://www.acm.org/awards/taward.html