Turing-Preis

Der nach Alan Turing benannte und 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 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
• 1975 Allen Newell und Herbert A. Simon Intelligenz Pyschologie menschlicher Erkenntnis Liste (Datenstruktur)nverarbeitung
• 1976 Michael O. Rabin und Dana S. ( nichtdeterminitische Automaten )
• 1977 John Backus (high-level Programmiersysteme formale Verfahren Spezifikation von Programmiersprachen)
• 1978 Robert W. Floyd (Methoden zur Erzeugung effizienten und zuverlässigen Programmen)
• 1979 Kenneth E. Iverson (Programmiersprachen und mathematische Implementierung interaktiver Systeme Nutzung von APL in Ausbildung Theorie und Praxis der Programmiersprachen)

• 1980 C. Antony R. Hoare (Definition und 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 Analyse von Algorithmen und Datenstrukturen )
• 1987 John Cocke (Compilertheorie Architektur grosser Systeme 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 (grosse künstlicher Inteligenz)
• 1995 Manuel Blum (Komplexitätstheorie und deren Anwendung der Kryptographie und Programmprüfung)
• 1996 Amir Pnueli (zeitliche Logik Programm- und
• 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 Smalltalk und des objektorientieren Programmieres)

Weblinks

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

Bücher zum Thema Turing-Preis

Dieser Artikel von Wikipedia unterliegt der GNU FDL.