Turing-Preis

Der nach Alan Turing benannte und mit 250.000 US-Dollar dotierte Turing Award (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. Er gilt als höchste Auszeichnung in der Informatik, vergleichbar dem Nobelpreis oder der Fields-Medaille. Der Award war von seiner ersten Vergabe an eine Männerdomäne, 2006 erhielt erstmals eine Frau die Auszeichnung.

Preisträger

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

Weblinks

• A. M. Turing Award bei der ACM (englisch)