PICKUPPER  

Turing Award

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

JahrPersonNationalitätLeistung
1966Alan J. Perlis Vereinigte StaatenFortgeschrittene Programmiertechniken und Compilerbau
1967Maurice V. Wilkes Vereinigtes KönigreichIntern gespeicherte Programme, Programmbibliotheken
1968Richard Hamming Vereinigte StaatenNumerische Methoden, code-erzeugende Systeme, fehlererkennende und fehlerkorrigierende Codes
1969Marvin Minsky Vereinigte StaatenKünstliche Intelligenz
1970James Hardy Wilkinson Vereinigtes KönigreichNumerische Mathematik, lineare Algebra, “Rückwärts”-Fehleranalyse
1971John McCarthy Vereinigte StaatenKünstliche Intelligenz
1972Edsger W. Dijkstra NiederlandeTechnik und Kunst der Programmiersprachen
1973Charles W. Bachman Vereinigte StaatenDatenbanktechniken
1974Donald E. Knuth Vereinigte StaatenAnalyse von Algorithmen und Entwurf von Programmiersprachen
1975Allen Newell Vereinigte StaatenKünstliche Intelligenz, Psychologie menschlicher Erkenntnis, Listenverarbeitung
Herbert Simon Vereinigte Staaten
1976Michael O. Rabin IsraelNichtdeterministische Automaten
Dana Scott Vereinigte Staaten
1977John Backus Vereinigte StaatenHighlevel-Programmiersysteme, formale Verfahren zur Spezifikation von Programmiersprachen
1978Robert W. Floyd Vereinigte StaatenMethoden zur Erzeugung von effizienten und zuverlässigen Programmen
1979Kenneth E. Iverson KanadaProgrammiersprachen und mathematische Notation, Implementierung interaktiver Systeme, Nutzung von APL in der Ausbildung, Theorie und Praxis der Programmiersprachen
1980C. Antony R. Hoare Vereinigtes KönigreichDefinition und Design von Programmiersprachen
1981Edgar F. Codd Vereinigtes KönigreichDatenbankmanagementsysteme, speziell Relationale Datenbanken
1982Stephen A. Cook Vereinigte StaatenKomplexitätstheorie
1983Ken Thompson Vereinigte StaatenGrundlegende Betriebssystemtheorie, Implementierung von Unix
Dennis M. Ritchie Vereinigte Staaten
1984Niklaus Wirth SchweizEntwicklung mehrerer Programmiersprachen, u. a. Modula und Pascal
1985Richard M. Karp Vereinigte StaatenAlgorithmentheorie, insbesondere NP-Vollständigkeit
1986John E. Hopcroft Vereinigte StaatenDesign und Analyse von Algorithmen und Datenstrukturen
Robert Tarjan Vereinigte Staaten
1987John Cocke Vereinigte StaatenCompilertheorie, Architektur großer Systeme, Entwurf der RISC-Architektur
1988Ivan Sutherland Vereinigte StaatenComputergrafik
1989William Kahan KanadaNumerische Mathematik
1990Fernando José Corbató Vereinigte StaatenCTSS, Multics
1991Robin Milner Vereinigtes KönigreichLCF, ML, CCS
1992Butler Lampson Vereinigte StaatenVerteilte, personalisierte Computerumgebungen
1993Juris Hartmanis Vereinigte StaatenKomplexitätstheorie
Richard E. Stearns Vereinigte Staaten
1994Edward Feigenbaum Vereinigte StaatenGroße Systeme künstlicher Intelligenz
Raj Reddy Vereinigte Staaten
1995Manuel Blum VenezuelaKomplexitätstheorie und deren Anwendung in der Kryptographie und Programmprüfung
1996Amir Pnueli IsraelZeitliche Logik, Programm- und Systemverifizierung
1997Douglas Engelbart Vereinigte StaatenInteraktive Computer
1998James N. Gray Vereinigte StaatenDatenbanken und Transaktionsverarbeitung
1999Frederick P. Brooks Vereinigte StaatenRechnerarchitektur, Betriebssysteme, Software-Engineering
2000Andrew Yao ChinaBerechenbarkeitstheorie, Pseudozufallszahlengeneratoren, Kryptographie und Kommunikationskomplexität
2001Ole-Johan Dahl NorwegenObjektorientierte Programmierung
Kristen Nygaard Norwegen
2002Ronald L. Rivest Vereinigte StaatenAsymmetrische Verschlüsselungsalgorithmen, speziell RSA
Adi Shamir Israel
Leonard M. Adleman Vereinigte Staaten
2003Alan Kay Vereinigte StaatenLebenswerk, insbesondere die Entwicklung von Smalltalk und des objektorientierten Programmierens
2004Vinton G. Cerf Vereinigte StaatenEntwicklung von TCP/IP
Robert E. Kahn Vereinigte Staaten
2005Peter Naur DänemarkBeiträge zum Design von Programmiersprachen und der Definition von Algol 60, Compilerdesign und der Kunst und Praxis des Programmierens
2006Frances E. Allen Vereinigte StaatenInnovationen im Hochleistungsrechnen
2007Edmund M. Clarke Vereinigte StaatenModellprüfung
E. Allen Emerson Vereinigte Staaten
Joseph Sifakis Griechenland
2008Barbara Liskov Vereinigte StaatenBeiträge zu Programmiersprachen und Systemdesign, insbesondere im Zusammenhang mit Datenabstraktion, Fehlertoleranz und verteiltem Rechnen

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

© Diese Definition / dieser Artikel zu Turing_Award stammt von Wikipedia und ist lizensiert unter GFDL. Hier können Sie den Original-Artikel zu Turing_Award , die Versionsgeschichte und die Liste der Autoren einsehen. © Diese Definition / dieser Artikel zu stammt von Wikipedia und ist lizensiert unter GFDL. Hier können Sie den Original-Artikel zu , die Versionsgeschichte und die Liste der Autoren einsehen.