Turing-Preis -Turing Award

ACM-Turing-Preis
Turing-Statue-Bletchley 11.jpg
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 ; Vor 57 Jahren ( 1966 )
Zuletzt ausgezeichnet 2022
Webseite amturing .acm .org

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 Maurice Vincent Wilkes 1980 (3, beschnitten).jpg 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 Marvin Minsky bei OLPCc.jpg 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 John McCarthy Stanford.jpg 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 Wybe Dijkstra.jpg 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 Charles Bachmann 2012.jpg Für seine herausragenden Beiträge zur Datenbanktechnologie . General Electric Research Laboratory (jetzt unter Groupe Bull , einem Unternehmen von Atos )
1974 Donald Knut KnuthAtOpenContentAlliance.jpg 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 Herbert simon red cropped.jpg
1976 Michael O. Rabin MO Rabin.jpg 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 Scott Dana klein.jpg Universität Chicago
1977 John Backus John Backus 2.jpg 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 Kei jünger.jpg 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 Sir Tony Hoare IMG5125.jpg 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 Prof.Cook (beschnitten).jpg Für seine bedeutende und tiefgreifende Förderung unseres Verständnisses der Komplexität von Berechnungen. Universität von Toronto
1983 Ken Thompson Ken Thompson02.jpg Für ihre Entwicklung der generischen Betriebssystemtheorie und speziell für die Implementierung des UNIX- Betriebssystems. Bell-Labors
Dennis Ritchie Dennis Ritchie 2011.jpg
1984 Niklaus Wirt Niklaus Wirth, UrGU (beschnitten).jpg 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 Karp mg 7725-b.cr2.jpg 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 Hopcrofg (beschnitten).jpg Für grundlegende Leistungen im Design und der Analyse von Algorithmen und Datenstrukturen. Cornell Universität
Robert Tarjan Bob Tarjan.jpg 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 Ivan Sutherland bei CHM.jpg 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 William Kahan 2008 (beschnitten).jpg 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ó Fernando Corbato.jpg 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 Professional Developers Conference 2009 Technical Leaders Panel 6 (beschnitten).jpg 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 Juris Hartmanis(2002).jpg 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 Dick Stearns (beschnitten).jpg
1994 Eduard Feigenbaum 27. Dr. Edward A. Feigenbaum 1994-1997.jpg 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 ProfReddys Foto zugeschnitten.jpg Stanford University ,
Carnegie Mellon University
1995 Manuel Blüm Blum manuel (beschnitten).jpg 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 Amir Pnueli.jpg 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 Douglas Engelbart im Jahr 2008.jpg 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 Jim Gray Computing im 21. Jahrhundert 2006 (beschnitten).jpg Für wegweisende Beiträge zur Datenbank- und Transaktionsverarbeitungsforschung und technische Führung bei der Systemimplementierung. IBM ,
Microsoft
1999 Fred Brooks Fred Brooks (beschnitten).jpg Für wegweisende Beiträge zu Computerarchitektur , Betriebssystemen und Softwareentwicklung. IBM ,
Universität von North Carolina in Chapel Hill
2000 Andreas Yao Andrew Yao MFO (beschnitten).jpg 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 Kristen-Nygaard-SBLP-1997-Kopf.png
2002 Ron Rivest Ronald L. Rivest photo.jpg Für ihren genialen Beitrag, Public-Key-Kryptografie in der Praxis nutzbar zu machen . Massachusetts Institute of Technology
Adi Schamir Adi Shamir an der TU Darmstadt (2013).jpg
Leonard Adelmann Len-mankin-pic.jpg Universität von Südkalifornien
2003 Alan Kay Alan Kay (3097597186) (beschnitten).jpg 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 Dr. Vint Cerf ForMemRS (beschnitten).jpg 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 Bob Kahn.jpg MIT ,
Bolt Beranek und Newman ,
DARPA ,
CNRI
2005 Peter Naur Peternaur.JPG 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 Allenmg 2528-3750K-b.jpg 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 Edmund Clarke FLoC 2006 (beschnitten).jpg 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 E-allen-emerson (beschnitten).jpg Harvard University ,
University of Texas in Austin
Josef Sifakis Joseph Sifakis img 0966.jpg Französisches Nationales Zentrum für wissenschaftliche Forschung
2008 Barbara Liskow Barbara Liskov MIT-Informatikerin 2010.jpg 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 Chuckthacker (beschnitten).jpg 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 Leslie Valiant (beschnitten).jpg 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 Judea Pearl bei NIPS 2013 (11781981594) (beschnitten).jpg 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 Silvio Micali (beschnitten).jpg 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 Shafi Goldwasser.JPG Massachusetts Institute of Technology ,
Weizmann Institute of Science
2013 Leslie Lamport Leslie Lamport.jpg 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 Michael Stonebraker P1120062.jpg 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 Whitfield Diffie Royal Society (beschnitten).jpg 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 Martin-Hellman.jpg
2016 Tim Berners-Lee Sir Tim Berners-Lee (beschnitten).jpg 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 John L. Hennessy (beschnitten).jpg 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 David A. Patterson.jpg Universität von Kalifornien, Berkeley
2018 Yoshua Bengio Yoshua Bengio - 2017.jpg 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 Geoffrey Hinton bei UBC (beschnitten).jpg University of Toronto ,
University of California, San Diego ,
Carnegie Mellon University ,
University College London ,
University of Edinburgh ,
Google AI
Yann Le Cun Yann LeCun - 2018 (beschnitten).jpg University of Toronto ,
Bell Labs ,
Courant Institute of Mathematical Sciences , New York University ,
Meta AI
2019 Edwin Catmüll VES-Auszeichnungen 89 cropped.jpg 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 Pat Hanrahan Tableau Kundenkonferenz 2009.jpg 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 Jack-dongarra-2022.jpg 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 Mit Bob Metcalfe (beschnitten).jpg Für die Erfindung, Standardisierung und Kommerzialisierung von Ethernet . Massachusetts Institute of Technology , Harvard University , Xerox PARC , University of Texas at Austin

Siehe auch

Verweise

Externe Links