Turing-Preis -Turing Award
ACM-Turing-Preis | |
---|---|
Ausgezeichnet für | Herausragende Leistungen in der Informatik |
Land | Vereinigte Staaten |
Präsentiert von | Verband für Rechenmaschinen (ACM) |
Belohnung) | 1.000.000 US-Dollar |
Erstmals ausgezeichnet | 1966 |
Zuletzt ausgezeichnet | 2022 |
Webseite | amturing |
Der ACM AM Turing Award ist ein jährlicher Preis, der von der Association for Computing Machinery (ACM) für Beiträge von dauerhafter und großer technischer Bedeutung für die Informatik vergeben wird . Er gilt allgemein als höchste Auszeichnung in der Informatik und wird umgangssprachlich als „ Nobelpreis der Informatik “ bezeichnet oder bezeichnet .
Der Preis ist nach Alan Turing benannt , einem britischen Mathematiker und Dozenten für Mathematik an der Universität Manchester . Turing wird oft als maßgeblicher Begründer der theoretischen Informatik und der künstlichen Intelligenz angesehen . Von 2007 bis 2013 wurde die Auszeichnung von einem zusätzlichen Preis in Höhe von 250.000 US-Dollar begleitet, der von Intel und Google finanziell unterstützt wurde . Seit 2014 ist die Auszeichnung mit einem Preisgeld in Höhe von 1 Million US-Dollar verbunden, das von Google finanziell unterstützt wird.
Der erste Empfänger war 1966 Alan Perlis von der Carnegie Mellon University . Die erste weibliche Empfängerin war Frances E. Allen von IBM im Jahr 2006. Die letzte Empfängerin im Jahr 2022 ist Robert Metcalfe für die Erfindung von Ethernet .
Empfänger
Jahr | Empfänger | Foto | Begründung | Angeschlossene(s) Institut(e) |
---|---|---|---|---|
1966 | Alan Perlis | Für seinen Einfluss auf dem Gebiet fortgeschrittener Computerprogrammiertechniken und Compilerbau . | Carnegie Mellon Universität | |
1967 | Moritz Wilke | Wilkes ist vor allem als Erbauer und Designer des EDSAC bekannt , des ersten Computers mit einem intern gespeicherten Programm . Der 1949 gebaute EDSAC verwendete einen Quecksilber-Verzögerungsleitungsspeicher . Er ist auch bekannt als Autor, zusammen mit Wheeler und Gill, eines Bandes über "Preparation of Programs for Electronic Digital Computers" aus dem Jahr 1951, in dem Programmbibliotheken effektiv eingeführt wurden. | Universität von Cambridge | |
1968 | Richard Hamming | Für seine Arbeiten zu numerischen Methoden , automatischen Kodiersystemen und fehlererkennenden und fehlerkorrigierenden Kodes. | Bell-Labors | |
1969 | Marwin Minsky | Für seine zentrale Rolle bei der Schaffung, Gestaltung, Förderung und Weiterentwicklung des Bereichs der künstlichen Intelligenz . | Massachusetts Institute of Technology | |
1970 | James H. Wilkinson | Für seine Forschungen in der numerischen Analyse zur Erleichterung der Verwendung des Hochgeschwindigkeits-Digitalcomputers, nachdem er besondere Anerkennung für seine Arbeit in Berechnungen in der linearen Algebra und "Rückwärts" -Fehleranalyse erhalten hat. | Nationales Physikalisches Labor | |
1971 | John McCarthy | McCarthys Vortrag „The Present State of Research on Artificial Intelligence“ ist ein Thema, das den Bereich abdeckt, in dem er für seine Arbeit große Anerkennung gefunden hat. | Universität in Stanford | |
1972 | Edsger W. Dijkstra | Edsger Dijkstra war in den späten 1950er Jahren maßgeblich an der Entwicklung von ALGOL beteiligt , einer höheren Programmiersprache , die zu einem Modell für Klarheit und mathematische Strenge geworden ist. Er ist einer der wichtigsten Befürworter der Wissenschaft und Kunst der Programmiersprachen im Allgemeinen und hat wesentlich zu unserem Verständnis ihrer Struktur, Darstellung und Implementierung beigetragen. Seine 15-jährigen Veröffentlichungen reichen von theoretischen Artikeln zur Graphentheorie bis hin zu grundlegenden Handbüchern, erläuternden Texten und philosophischen Betrachtungen im Bereich der Programmiersprachen. |
Centrum Wiskunde & Informatica , Eindhoven University of Technology , University of Texas at Austin |
|
1973 | Karl Bachmann | Für seine herausragenden Beiträge zur Datenbanktechnologie . | General Electric Research Laboratory (jetzt unter Groupe Bull , einem Unternehmen von Atos ) | |
1974 | Donald Knut | Für seine bedeutenden Beiträge zur Analyse von Algorithmen und zum Entwurf von Programmiersprachen und insbesondere für seine Beiträge zu „ The Art of Computer Programming “ durch seine bekannten Bücher in einer fortlaufenden Reihe mit diesem Titel. |
California Institute of Technology , Center for Communications Research, Center for Communications and Computing, Institut für Verteidigungsanalysen , Stanford University |
|
1975 | Allen Newell | In über zwanzig Jahren gemeinsamer wissenschaftlicher Arbeit, zunächst in Zusammenarbeit mit JC Shaw von der RAND Corporation und anschließend mit zahlreichen Fakultäts- und Studentenkollegen der Carnegie Mellon University , haben sie grundlegende Beiträge zur künstlichen Intelligenz, zur Psychologie der menschlichen Kognition und zur Liste geleistet wird bearbeitet. |
RAND Corporation , Carnegie Mellon University |
|
Herbert A. Simon | ||||
1976 | Michael O. Rabin | Für ihr gemeinsames Papier „Finite Automata and Their Decision Problem“, das die Idee nichtdeterministischer Maschinen vorstellte , eine kontinuierliche Inspirationsquelle für nachfolgende Arbeiten auf diesem Gebiet. | Princeton Universität | |
Dana Scott | Universität Chicago | |||
1977 | John Backus | Für tiefgreifende, einflussreiche und dauerhafte Beiträge zum Entwurf praktischer High-Level-Programmiersysteme, insbesondere durch seine Arbeit an FORTRAN , und für die wegweisende Veröffentlichung formaler Verfahren zur Spezifikation von Programmiersprachen . | IBM | |
1978 | Robert W. Floyd | Für seinen klaren Einfluss auf Methoden zur Erstellung effizienter und zuverlässiger Software und für die Mitbegründung der folgenden wichtigen Teilgebiete der Informatik : die Theorie des Parsing , die Semantik von Programmiersprachen , die automatische Programmverifikation , die automatische Programmsynthese und die Analyse von Algorithmen . |
Carnegie-Mellon-Universität , Stanford-Universität |
|
1979 | Kenneth E. Iverson | Für seine bahnbrechenden Bemühungen in Programmiersprachen und mathematischer Notation, die zu dem führten, was die Computerbranche heute als APL kennt , für seine Beiträge zur Implementierung interaktiver Systeme, zur pädagogischen Nutzung von APL sowie zur Theorie und Praxis von Programmiersprachen. | IBM | |
1980 | Toni Hoare | Für seine grundlegenden Beiträge zur Definition und Gestaltung von Programmiersprachen. |
Queen's University Belfast , University of Oxford |
|
1981 | Edgar F. Codd | Für seine grundlegenden und fortwährenden Beiträge zur Theorie und Praxis von Datenbankmanagementsystemen, insb. relationale Datenbanken . | IBM | |
1982 | Stefan Koch | Für seine bedeutende und tiefgreifende Förderung unseres Verständnisses der Komplexität von Berechnungen. | Universität von Toronto | |
1983 | Ken Thompson | Für ihre Entwicklung der generischen Betriebssystemtheorie und speziell für die Implementierung des UNIX- Betriebssystems. | Bell-Labors | |
Dennis Ritchie | ||||
1984 | Niklaus Wirt | Für die Entwicklung einer Reihe innovativer Computersprachen, EULER , ALGOL-W , Pascal , MODULA und Oberon . |
Stanford University , Universität Zürich , ETH Zürich |
|
1985 | Richard M. Karp | Für seine fortwährenden Beiträge zur Theorie der Algorithmen, einschließlich der Entwicklung effizienter Algorithmen für den Netzwerkfluss und andere kombinatorische Optimierungsprobleme, die Identifizierung der Berechenbarkeit in Polynomialzeit mit dem intuitiven Begriff der algorithmischen Effizienz und insbesondere Beiträge zur Theorie der NP -Vollständigkeit . | Universität von Kalifornien, Berkeley | |
1986 | John Hopcroft | Für grundlegende Leistungen im Design und der Analyse von Algorithmen und Datenstrukturen. | Cornell Universität | |
Robert Tarjan |
Stanford University , Cornell University , University of California, Berkeley , Princeton University |
|||
1987 | John Cocke | Für bedeutende Beiträge zum Design und zur Theorie von Compilern, zur Architektur großer Systeme und zur Entwicklung von Computern mit reduziertem Befehlssatz (RISC). | IBM | |
1988 | Ivan Sutherland | Für seine bahnbrechenden und visionären Beiträge zur Computergrafik , beginnend mit Sketchpad und weiter danach. |
Stanford University , Harvard University , University of Utah , California Institute of Technology |
|
1989 | William Kahan | Für seine grundlegenden Beiträge zur numerischen Analysis . Einer der führenden Experten für Fließkommaberechnungen . Kahan hat sich dem Ziel verschrieben, „die Welt für numerische Berechnungen sicher zu machen“. | Universität von Kalifornien, Berkeley | |
1990 | Fernando J. Corbató | Für seine bahnbrechende Arbeit bei der Organisation der Konzepte und der Leitung der Entwicklung der universellen, groß angelegten Timesharing- und Ressourcen-Sharing-Computersysteme CTSS und Multics . | Massachusetts Institute of Technology | |
1991 | Robin Milner | Für drei unterschiedliche und vollständige Errungenschaften: 1) LCF , die Mechanisierung von Scotts Logic of Computable Functions, wahrscheinlich das erste theoretisch fundierte, aber praktische Werkzeug für maschinenunterstützte Beweiserstellung ; 2) ML , die erste Sprache, die polymorphe Typinferenz zusammen mit einem typsicheren Ausnahmebehandlungsmechanismus enthält ; 3) CCS , eine allgemeine Parallelitätstheorie . Daneben formulierte und forcierte er die Vollabstraktion , die Untersuchung des Verhältnisses von operationaler und denotationaler Semantik . |
Stanford University , University of Edinburgh |
|
1992 | Butler Lampson | Für Beiträge zur Entwicklung von verteilten Personal-Computing-Umgebungen und der Technologie für ihre Implementierung: Workstations , Netzwerke , Betriebssysteme , Programmiersysteme, Displays , Sicherheit und Dokumentenveröffentlichung . |
PARC , DEZ |
|
1993 | Juris Hartmanis | In Anerkennung ihrer bahnbrechenden Arbeit, die die Grundlagen für das Gebiet der Computational Complexity Theory legte . | General Electric Research Laboratory (jetzt unter Groupe Bull , einem Unternehmen von Atos ) | |
Richard E. Stearns | ||||
1994 | Eduard Feigenbaum | Für Pionierarbeit bei der Entwicklung und Konstruktion von groß angelegten Systemen der künstlichen Intelligenz, Demonstration der praktischen Bedeutung und potenziellen kommerziellen Auswirkungen der Technologie der künstlichen Intelligenz. | Universität in Stanford | |
Raj Reddy |
Stanford University , Carnegie Mellon University |
|||
1995 | Manuel Blüm | In Anerkennung seiner Beiträge zu den Grundlagen der Computational Complexity Theory und ihrer Anwendung auf Kryptografie und Programmprüfung . | Universität von Kalifornien, Berkeley | |
1996 | Amir Pnueli | Für wegweisende Arbeiten zur Einführung temporaler Logik in die Informatik und für herausragende Beiträge zur Programm- und Systemverifikation . |
Stanford University , Tel Aviv University , Weizmann Institute of Science , Courant Institute of Mathematical Sciences |
|
1997 | Douglas Engelbart | Für eine inspirierende Vision der Zukunft des Interactive Computing und die Erfindung von Schlüsseltechnologien, um diese Vision zu verwirklichen. |
SRI International , Tymshare , McDonnell Douglas , Bootstrap Institute/Alliance, The Doug Engelbart Institute |
|
1998 | Jim Gray | Für wegweisende Beiträge zur Datenbank- und Transaktionsverarbeitungsforschung und technische Führung bei der Systemimplementierung. |
IBM , Microsoft |
|
1999 | Fred Brooks | Für wegweisende Beiträge zu Computerarchitektur , Betriebssystemen und Softwareentwicklung. |
IBM , Universität von North Carolina in Chapel Hill |
|
2000 | Andreas Yao | In Anerkennung seiner grundlegenden Beiträge zur Berechnungstheorie , einschließlich der komplexitätsbasierten Theorie der Erzeugung von Pseudozufallszahlen , der Kryptografie und der Kommunikationskomplexität . |
Stanford University , University of California, Berkeley , Princeton University |
|
2001 | Ole-Johan Dahl | Für grundlegende Ideen zur Entstehung der objektorientierten Programmierung , durch ihre Gestaltung der Programmiersprachen Simula I und Simula 67 . |
Norwegisches Rechenzentrum , Universität Oslo |
|
Kristen Nygard | ||||
2002 | Ron Rivest | Für ihren genialen Beitrag, Public-Key-Kryptografie in der Praxis nutzbar zu machen . | Massachusetts Institute of Technology | |
Adi Schamir | ||||
Leonard Adelmann | Universität von Südkalifornien | |||
2003 | Alan Kay | Für viele der Ideen, die den heutigen objektorientierten Programmiersprachen zugrunde liegen , für die Leitung des Teams, das Smalltalk entwickelt hat , und für grundlegende Beiträge zum Personal Computing. |
University of Utah , PARC , Stanford University , Atari , Apple ATG , Walt Disney Imagineering , Viewpoints Research Institute , HP Labs |
|
2004 | Vint Cerf | Für bahnbrechende Arbeit im Bereich Internetworking , einschließlich des Entwurfs und der Implementierung der grundlegenden Kommunikationsprotokolle des Internets, TCP/IP , und für inspirierte Führung im Netzwerkbereich. |
University of California, Los Angeles , Stanford University , DARPA , MCI (jetzt unter Verizon ), CNRI , Google |
|
Bob Khan |
MIT , Bolt Beranek und Newman , DARPA , CNRI |
|||
2005 | Peter Naur | Für grundlegende Beiträge zum Programmiersprachendesign und zur Definition von ALGOL 60 , zum Compilerdesign und zur Kunst und Praxis der Computerprogrammierung. |
Regnecentralen (jetzt unter Fujitsu ), Universität Kopenhagen |
|
2006 | Frances Allen | Für bahnbrechende Beiträge zur Theorie und Praxis der Optimierung von Compilertechniken, die den Grundstein für moderne Optimierungscompiler und die automatische parallele Ausführung legten. | IBM | |
2007 | Edmund M. Clarke | Für ihre Rolle bei der Entwicklung der Modellprüfung zu einer hochwirksamen Verifikationstechnologie, die in der Hardware- und Softwareindustrie weit verbreitet ist. |
Harvard University , Carnegie Mellon University |
|
E. Allen Emerson |
Harvard University , University of Texas in Austin |
|||
Josef Sifakis | Französisches Nationales Zentrum für wissenschaftliche Forschung | |||
2008 | Barbara Liskow | Für Beiträge zu praktischen und theoretischen Grundlagen des Programmiersprachen- und Systemdesigns, insbesondere in Bezug auf Datenabstraktion, Fehlertoleranz und verteiltes Rechnen. | Massachusetts Institute of Technology | |
2009 | Charles P. Thacker | Für sein bahnbrechendes Design und die Realisierung des Xerox Alto , des ersten modernen Personal Computers, und zusätzlich für seine Beiträge zum Ethernet und dem Tablet PC. |
PARC , DEZ , Microsoft Research |
|
2010 | Leslie Valiant | Für transformative Beiträge zur Theorie des Rechnens , einschließlich der Theorie des wahrscheinlich annähernd korrekten ( PAC ) Lernens, der Komplexität der Aufzählung und des algebraischen Rechnens sowie der Theorie des parallelen und verteilten Rechnens. | Harvard Universität | |
2011 | Judäa Perle | Für grundlegende Beiträge zur künstlichen Intelligenz durch die Entwicklung eines Kalküls für probabilistisches und kausales Schließen. |
University of California, Institut für Technologie in Los Angeles, New Jersey |
|
2012 | Silvio Micali | Für transformative Arbeiten, die die komplexitätstheoretischen Grundlagen für die Wissenschaft der Kryptografie gelegt und dabei neue Methoden zur effizienten Verifikation mathematischer Beweise in der Komplexitätstheorie entwickelt haben. | Massachusetts Institute of Technology | |
Schafi Goldwasser |
Massachusetts Institute of Technology , Weizmann Institute of Science |
|||
2013 | Leslie Lamport | Für grundlegende Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme, insbesondere die Erfindung von Konzepten wie Kausalität und logische Uhren, Sicherheit und Lebendigkeit, replizierte Zustandsmaschinen und sequentielle Konsistenz. |
Massachusetts Computer Associates (jetzt unter Essig PLM), SRI International , DEC , Compaq (jetzt unter HP ), Microsoft Research |
|
2014 | Michael Steinbrecher | Für grundlegende Beiträge zu den Konzepten und Praktiken, die modernen Datenbanksystemen zugrunde liegen. |
Universität von Kalifornien, Berkeley , Massachusetts Institute of Technology |
|
2015 | Whitfield Diffie | Für grundlegende Beiträge zur modernen Kryptographie. Diffie und Hellmans bahnbrechende Arbeit von 1976, „New Directions in Cryptography“, stellte die Ideen der Public-Key-Kryptographie und digitaler Signaturen vor, die die Grundlage für die meisten heute regelmäßig verwendeten Sicherheitsprotokolle im Internet bilden. | Universität in Stanford | |
Martin Hellmann | ||||
2016 | Tim Berners-Lee | Für die Erfindung des World Wide Web , des ersten Webbrowsers und der grundlegenden Protokolle und Algorithmen, die es dem Web ermöglichen, zu skalieren. |
CERN , Massachusetts Institute of Technology , World Wide Web Consortium |
|
2017 | John L. Hennessy | Für die Pionierleistung eines systematischen, quantitativen Ansatzes für das Design und die Bewertung von Computerarchitekturen mit dauerhaften Auswirkungen auf die Mikroprozessorindustrie. | Universität in Stanford | |
David Patterson | Universität von Kalifornien, Berkeley | |||
2018 | Yoshua Bengio | Für konzeptionelle und technische Durchbrüche, die tiefe neuronale Netze zu einer kritischen Komponente der Datenverarbeitung gemacht haben . |
Université de Montréal , McGill University , Mila |
|
Geoffrey Hinton |
University of Toronto , University of California, San Diego , Carnegie Mellon University , University College London , University of Edinburgh , Google AI |
|||
Yann Le Cun |
University of Toronto , Bell Labs , Courant Institute of Mathematical Sciences , New York University , Meta AI |
|||
2019 | Edwin Catmüll | Für grundlegende Beiträge zur 3-D-Computergrafik und den revolutionären Einfluss dieser Techniken auf computergenerierte Bilder (CGI) beim Filmemachen und anderen Anwendungen. |
Universität von Utah , Pixar , Walt Disney Animation Studios |
|
Pat Hanrahan |
Pixar , Princeton University , Stanford University |
|||
2020 | Alfred Ah | Für grundlegende Algorithmen und Theorien, die der Implementierung von Programmiersprachen zugrunde liegen, und für die Synthese dieser Ergebnisse und der anderer in ihren äußerst einflussreichen Büchern, die Generationen von Informatikern ausgebildet haben. |
Bell Labs , Columbia University |
|
Jeffrey Ullmann |
Bell Labs , Princeton University , Stanford University |
|||
2021 | Jack Dongarra | Für bahnbrechende Beiträge zu numerischen Algorithmen und Bibliotheken, die es Hochleistungs-Computersoftware ermöglichten, mit exponentiellen Hardwareverbesserungen über vier Jahrzehnte lang Schritt zu halten. |
Argonne National Laboratory , Oak Ridge National Laboratory , University of Manchester , Texas A&M University Institute for Advanced Study , University of Tennessee , Rice University |
|
2022 | Robert Metcalfe | Für die Erfindung, Standardisierung und Kommerzialisierung von Ethernet . | Massachusetts Institute of Technology , Harvard University , Xerox PARC , University of Texas at Austin |