Turing Award

ACM Turing Award
Turing-statue-Bletchley 11.jpg
Verliehen für Herausragende Beiträge in Informatik
Land Vereinigte Staaten
Präsentiert von Verband für Rechenmaschinen (ACM)
Belohnung) US $ 1.000.000[1]
Zuerst ausgezeichnet 1966; Vor 56 Jahren
Zuletzt ausgezeichnet 2021
Webseite Amtieren.Acm.org

Das ACM A. M. Turing Award ist ein jährlicher Preis von der Verband für Rechenmaschinen (ACM) für Beiträge von dauerhaft und wichtiger technischer Bedeutung für Informatik.[2] Es wird allgemein als die höchste Unterscheidung in anerkannt Informatik und wird umgangssprachlich bekannt oder oft als das bezeichnet "Nobelpreis des Computers".[3][4][5][6]

Die Auszeichnung ist nach dem nachgewiesenen Alan Turing, wer war ein britisch Mathematiker und Leser in der Mathematik am Universität von Manchester. Turing wird oft als Schlüsselgründer von zugeschrieben Theoretische Informatik und künstliche Intelligenz.[7] Von 2007 bis 2013 wurde die Auszeichnung mit einem zusätzlichen Preis von 250.000 US -Dollar begleitet, wobei die finanzielle Unterstützung durch Intel und Google.[2] Seit 2014 wird der Preis von einem Preis von 1 Million US -Dollar begleitet, wobei die finanzielle Unterstützung von Google geliefert wurde.[1][8]

Der erste Empfänger im Jahr 1966 war Alan Perlis, von Carnegie Mellon Universität. Der erste weibliche Empfänger war Frances E. Allen von IBM in 2006.[9] Der neueste Empfänger im Jahr 2021 ist Jack Dongarra, des Universität von Tennessee.

Empfänger

Jahr Empfänger (en) Foto Begründung Verbundenes Institut (en)
1966 Alan Perlis Für seinen Einfluss im Bereich des Fortschritts Computerprogrammierung Techniken und Compiler Konstruktion.[10] Carnegie Mellon Universität
1967 Maurice Wilkes Maurice Vincent Wilkes 1980 (3, cropped).jpg Wilkes ist am besten als Bauherr und Designer der Edsac, der erste Computer mit einem intern gespeicherten Computer Programm. Der 1949 erbaute EDSAC verwendete a Quecksilberverzögerungsspeicher. Er ist auch als Autor mit Wheeler und Gill von einem Volumen über "Vorbereitung von Programmen für elektronische digitale Computer" im Jahr 1951 bekannt Programmbibliotheken wurden effektiv eingeführt.[11] Universität von Cambridge
1968 Richard Hamming Für seine Arbeit an Numerische Methoden, automatische Codierungssysteme und fehlerdetektierende und fehlerkorrigierende Codes.[12] Bell Labs
1969 Marvin Minsky Marvin Minsky at OLPCc.jpg Für seine zentrale Rolle bei der Schaffung, Gestaltung, Förderung und Weiterentwicklung des Feldes von künstliche Intelligenz.[13] Massachusetts Institute of Technology
1970 James H. Wilkinson Für seine Forschung in numerische Analyse Erleichterung der Verwendung des Hochgeschwindigkeits-Digitalcomputer Lineare Algebra und "rückwärts" Fehleranalyse.[14] Nationales physisches Labor
1971 John McCarthy John McCarthy Stanford.jpg McCarthys Vortrag "Der gegenwärtige Zustand der Forschung über künstliche Intelligenz" ist ein Thema, das den Bereich abdeckt, in dem er für seine Arbeit erhebliche Anerkennung erreicht hat.[15] Universität in Stanford
1972 Edsger W. Dijkstra Edsger Wybe Dijkstra.jpg Edsger Dijkstra war Ende der 1950er Jahre Hauptbeitrag für die Entwicklung der Algol, ein hohes Niveau Programmiersprache Das ist ein Modell der Klarheit und mathematischer Strenge geworden. Er ist einer der wichtigsten Befürworter der Wissenschaft und Kunst der Programmiersprachen im Allgemeinen und hat stark zu unserem Verständnis ihrer Struktur, Repräsentation und Umsetzung beigetragen. Seine fünfzehn Jahre Veröffentlichungen erstrecken sich von theoretischen Artikeln zur Graphentheorie bis hin zu grundlegenden Handbüchern, Expository -Texten und philosophischen Kontemplationen im Bereich der Programmiersprachen.[16] Centrum Wiskunde & Informatica,
Eindhoven Universität für Technologie
1973 Charles Bachman Charles Bachman 2012.jpg Für seine herausragenden Beiträge zu Datenbank Technologie.[17] General Electric Research Laboratory (jetzt unter Groupe Bull, ein Atos Gesellschaft)
1974 Donald Knuth KnuthAtOpenContentAlliance.jpg Für seine Hauptbeiträge zur Analyse von Algorithmen und zur Gestaltung von Programmiersprachen und insbesondere für seine Beiträge zu "Die Kunst der Computerprogrammierung"Durch seine bekannten Bücher in einer kontinuierlichen Serie durch diesen Titel.[18] Kalifornisches Institut der Technologie,
Center for Communications Research, Center for Communications and Computing, Institut für Verteidigungsanalysen,
Universität in Stanford
1975 Allen Newell In gemeinsamen wissenschaftlichen Bemühungen, die sich über zwanzig Jahre erstrecken, zunächst in Zusammenarbeit mit J. C. Shaw Bei der Rand Corporationund anschließend mit zahlreichen Fakultäten und Studentenkollegen bei Carnegie Mellon UniversitätSie haben grundlegende Beiträge zur künstlichen Intelligenz, zur Psychologie der menschlichen Kognition und zur Verarbeitung geleistet.[19] Rand Corporation,
Carnegie Mellon Universität
Herbert A. Simon Herbert simon red cropped.jpg
1976 Michael O. Rabin M O Rabin.jpg Für ihr gemeinsames Papier "Finite Automata und ihr Entscheidungsproblem",[20] was die Idee von vorstellte Nichtdeterministische Maschinen, was sich als enorm wertvolles Konzept erwiesen hat. Ihr (Scott & Rabin) klassisches Papier war eine kontinuierliche Inspirationsquelle für nachfolgende Arbeiten in diesem Bereich.[21][22] Princeton Universität
Dana Scott Scott Dana small.jpg Universität von Chicago
1977 John Backus John Backus 2.jpg Für tiefgreifende, einflussreiche und dauerhafte Beiträge zum Design praktischer hochrangiger Programmiersysteme, insbesondere durch seine Arbeit an Forranund für die wegweisende Veröffentlichung formaler Verfahren für die Spezifikation von Programmiersprachen.[23] IBM
1978 Robert W. Floyd Für einen klaren Einfluss auf die Methoden für die Erstellung effizienter und zuverlässiger Software und für die Ermittlung der folgenden wichtigen Teilfelder von Informatik: Die Theorie von Parsing, das Semantik von Programmiersprachen, automatisch Programmüberprüfung, Automatische Programmsynthese, und Analyse von Algorithmen.[24] Carnegie Mellon Universität,
Universität in Stanford
1979 Kenneth E. Iverson Kei younger.jpg Für seine Pionierarbeit in Programmiersprachen und mathematische Notation führt zu dem, was das Computerfeld jetzt weiß als Aplfür seine Beiträge zur Umsetzung interaktiver Systeme, zur Bildungsnutzung von APL und zur Programmiersprache Theorie und -praxis.[25] IBM
1980 Tony Hoare Sir Tony Hoare IMG 5125.jpg Für seine grundlegenden Beiträge zur Definition und zum Design von Programmiersprachen.[26] Queen's University Belfast,
Universität von Oxford
1981 Edgar F. Codd Für seine grundlegenden und anhaltenden Beiträge zur Theorie und Praxis von Datenbankmanagementsystemen, insb. relationale Datenbanken.[27] IBM
1982 Stephen Cook Prof.Cook (cropped).jpg Für seine Weiterentwicklung unseres Verständnisses der Komplexität der Berechnung in erheblichem und tiefgreifender Weise.[28] Universität von Toronto
1983 Ken Thompson Ken Thompson 02.jpg Für die Entwicklung der generischen Betriebssystemtheorie und speziell für die Implementierung der Unix Betriebssystem.[29][30] Bell Labs
Dennis Ritchie Dennis Ritchie 2011.jpg
1984 Niklaus Wirth Niklaus Wirth, UrGU (cropped).jpg Für die Entwicklung einer Abfolge innovativer Computersprachen, Euler, Algol-w, Pascal, Modula und Oberon. Universität in Stanford,
Universität Zürich,
Eth Zürich
1985 Richard M. Karp Karp mg 7725-b.cr2.jpg Für seine anhaltenden Beiträge zur Theorie der Algorithmen, einschließlich der Entwicklung effizienter Algorithmen für den Netzwerkfluss und anderer kombinatorischer Optimierungsprobleme, der Identifizierung der Polynomzeitberechnung mit dem intuitiven Begriff der algorithmischen Effizienz und insbesondere der Beiträge zur Theorie von NP-Vervollständigung. Universität von Kalifornien, Berkeley
1986 John Hopcroft Hopcrofg (cropped).jpg Für grundlegende Erfolge bei der Gestaltung und Analyse von Algorithmen und Datenstrukturen. Cornell Universität
Robert Tarjan Bob Tarjan.jpg Universität in Stanford,
Cornell Universität,
Universität von Kalifornien, Berkeley
1987 John Cocke Für bedeutende Beiträge in der Gestaltung und Theorie von Compilern, der Architektur großer Systeme und der Entwicklung von Reduzierende Befehlsbilder Computer (RISC). IBM
1988 Ivan Sutherland Ivan Sutherland at CHM.jpg Für seine wegweisenden und visionären Beiträge zu Computergrafik, beginnen mit Sketchpadund danach fortfahren. Universität in Stanford,
Harvard Universität,
Universität von Utah,
Kalifornisches Institut der Technologie
1989 William Kahan William Kahan 2008 (cropped).jpg Für seine grundlegenden Beiträge zu numerische Analyse. Einer der wichtigsten Experten für Gleitkomma-Berechnungen. Kahan hat sich der "sicheren Sicherheit der Welt für numerische Berechnungen" gewidmet. Universität von Kalifornien, Berkeley
1990 Fernando J. Corbató Fernando Corbato.jpg Für seine Pionierarbeit, die die Konzepte organisiert und die Entwicklung des allgemeinen Purposes, groß angelegt, führt, Zeitteilung und Computersysteme für Ressourcen, Computersysteme, CTSS und Mehrheit. Massachusetts Institute of Technology
1991 Robin Milner Für drei verschiedene und vollständige Erfolge: 1) LCF, die Mechanisierung von Scotts Logik der berechnbaren Funktionen, wahrscheinlich das erste theoretisch basierte und dennoch praktische Instrument für Maschinenbetriebener Beweisbau; 2) Ml, die erste Sprache, die polymorph einschließt Geben Sie Inferenz ein zusammen mit a Typ-Safe Ausnahmebehandlung Mechanismus; 3) CCS, eine allgemeine Theorie von Parallelität. Außerdem formulierte er und stark fortgeschritten Vollständige Abstraktion, die Untersuchung der Beziehung zwischen operativ und Bezeichnung Semantik.[31] Universität in Stanford,
Universität von Edinburgh
1992 Butler Lampson Professional Developers Conference 2009 Technical Leaders Panel 6 (cropped).jpg Für Beiträge zur Entwicklung verteilter, persönlicher Computerumgebungen und der Technologie für ihre Implementierung: Arbeitsstationen, Netzwerke, Betriebssysteme, Programmiersysteme, Anzeigen, Sicherheit und Dokument Publishing. Parc,
Dez
1993 Juris Hartmanis Juris Hartmanis(2002).jpg In Anerkennung ihres Samenpapiers, das die Grundlagen für den Bereich von feststellte Computerkomplexitätstheorie.[32] General Electric Research Laboratory (jetzt unter Groupe Bull, ein Atos Gesellschaft)
Richard E. Stearns Dick Stearns (cropped).jpg
1994 Edward Feigenbaum 27. Dr. Edward A. Feigenbaum 1994-1997.jpg Für das Design und die Konstruktion von künstlichen Intelligenzsystemen in großem Maßstab, wodurch die praktische Bedeutung und potenzielle kommerzielle Auswirkungen der Technologie für künstliche Intelligenz demonstriert werden.[33] Universität in Stanford
Raj Reddy ProfReddys Photo Cropped.jpg Universität in Stanford,
Carnegie Mellon Universität
1995 Manuel Blum Blum manuel (cropped).jpg In Anerkennung seiner Beiträge zu den Grundlagen von Computerkomplexitätstheorie und seine Anwendung auf Kryptographie und Programmprüfung.[34] Universität von Kalifornien, Berkeley
1996 Amir Pnueli Amir Pnueli.jpg Für wegweisende Arbeiten zur Einführung zeitliche Logik in die Computerwissenschaft und für herausragende Beiträge zu Programmen und Systemen Überprüfung.[35] Universität in Stanford,
Tel Aviv University,
Weizmann Institute of Science
1997 Douglas Engelbart Douglas Engelbart in 2008.jpg Für eine inspirierende Vision der Zukunft des interaktiven Computers und der Erfindung von Schlüsseltechnologien, um diese Vision zu verwirklichen.[36] SRI International,
Tymshare,
McDonnell Douglas,
Bootstrap Institute/Alliance,[37]
Das Doug Engelbart Institute
1998 Jim Gray Jim Gray Computing in the 21st Century 2006 (cropped).jpg Für wegweisende Beiträge zu Datenbank und Transaktionsverarbeitung Forschung und technische Führung in der Systemimplementierung. IBM,
Microsoft
1999 Fred Brooks Fred Brooks (cropped).jpg Für wegweisende Beiträge zu Rechnerarchitektur, Betriebssysteme, und Softwareentwicklung. IBM,
Universität von North Carolina in Chapel Hill
2000 Andrew Yao Andrew Yao MFO (cropped).jpg In Anerkennung seiner grundlegenden Beiträge zur Theorie der Berechnung, einschließlich der komplexitätsbasierten Theorie von Pseudorandom -Zahlengenerierung, Kryptographie, und Kommunikationskomplexität. Universität in Stanford,
Universität von Kalifornien, Berkeley,
Princeton Universität
2001 Ole-Johan Dahl Für Ideen grundlegend für die Entstehung von Objekt orientierte Programmierungdurch das Design der Programmiersprachen Simula i und Simula 67. Norwegisches Computerzentrum
Kristen Nygaard Kristen-Nygaard-SBLP-1997-head.png
2002 Ron Rivest Ronald L Rivest photo.jpg Zum ihr genialer Beitrag zum Herstellen Kryptographie der Öffentlichkeit nützlich in der Praxis. Massachusetts Institute of Technology
Adi Shamir Adi Shamir at TU Darmstadt (2013).jpg
Leonard Adleman Len-mankin-pic.jpg Universität von Südkalifornien
2003 Alan Kay Alan Kay (3097597186) (cropped).jpg Für die Pionierarbeit viele der Ideen an der Wurzel des Zeitgenossen objektorientierte Programmiersprachendas Team führt, das sich entwickelte Smalltalkund für grundlegende Beiträge zum persönlichen Computer. Universität von Utah,
Parc,
Universität in Stanford,
Atari,
Apfel Atg,
Walt Disney Imagineering,
Sichtweise Forschungsinstitut,
HP Labors
2004 Vint Cerf Dr Vint Cerf ForMemRS (cropped).jpg Für wegweisende Arbeiten Internetbearbeitung, einschließlich der Gestaltung und Implementierung der Internet's Grundlegende Kommunikationsprotokolle, TCP/IPund für inspirierte Führung in Networking. Universität von California, Los Angeles,
Universität in Stanford, DARPA,
MCI (jetzt unter Verizon),
Cnri, Google
Bob Kahn Bob Kahn.jpg MIT,
Bolt Beranek und Newman,
DARPA,
Cnri
2005 Peter Naur Peternaur.JPG Für grundlegende Beiträge zu Programmiersprache Design und die Definition von Algol 60, zu Compiler Design und zur Kunst und Praxis der Computerprogrammierung. Regralen (jetzt unter Fujitsu),
Universität Kopenhagen
2006 Frances Allen Allen mg 2528-3750K-b.jpg Für wegweisende Beiträge zur Theorie und Praxis, Compiler -Techniken zu optimieren, die den Grundstein für moderne Optimierung von Compilern und automatische parallele Ausführung bildeten. IBM
2007 Edmund M. Clarke Edmund Clarke FLoC 2006 (cropped).jpg Für ihre Rollen bei der Entwicklung Modellprüfung in eine hochwirksame Überprüfungstechnologie, die in der Hardware- und Software -Branche weit verbreitet ist.[38] Harvard Universität,
Carnegie Mellon Universität
E. Allen Emerson Harvard Universität
Joseph Sifakis Joseph Sifakis img 0966.jpg Französisches Nationales Zentrum für wissenschaftliche Forschung
2008 Barbara Liskov Barbara Liskov MIT computer scientist 2010.jpg Für Beiträge zu praktischen und theoretischen Grundlagen der Programmiersprache und zu Systemdesign, insbesondere zu Datenabstraktion, Fehlertoleranz und verteiltem Computer. Massachusetts Institute of Technology
2009 Charles P. Thacker Chuckthacker (cropped).jpg Für sein wegweisendes Design und seine Verwirklichung der Xerox Alto, der erste moderne Personalcomputer und zusätzlich für seine Beiträge zum Ethernet und zum Tablet -PC. Parc,
Dez,
Microsoft Forschung
2010 Leslie Valiant Leslie Valiant (cropped).jpg Für transformative Beiträge zur Theorie der Berechnung, einschließlich der Theorie von wahrscheinlich ungefähr korrekt (PAC) Lernen, die Komplexität der Aufzählung und der algebraischen Berechnung und die Theorie des parallelen und verteilten Computers. Harvard Universität
2011 Judäa Perle[39] Judea Pearl at NIPS 2013 (11781981594) (cropped).jpg Für grundlegende Beiträge zur künstlichen Intelligenz durch die Entwicklung eines Kalküls für probabilistische und kausale Denken.[40] Universität von California, Los Angeles
2012 Silvio Micali Silvio Micali (cropped).jpg Für transformative Arbeiten, die die komplexitätstheoretischen Grundlagen für die Wissenschaft der Kryptographie und im Prozess als Pionier für neue Methoden zur effizienten Überprüfung mathematischer Beweise in der Komplexitätstheorie legten.[41] Massachusetts Institute of Technology
SHAFI GOLDSER 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 gleichzeitiger Systeme, insbesondere zur Erfindung von Konzepten wie Kausalität und logischen Uhren, Sicherheit und Lebendigkeit, replizierte Zustandsmaschinen und sequentielle Konsistenz.[42][43] Massachusetts Computer Associates (jetzt unter Essig plm),
SRI International,
Dez,
Compaq (jetzt unter HP),
Microsoft Forschung
2014 Michael Stonebraker Michael Stonebraker P1120062.jpg Für grundlegende Beiträge zu den Konzepten und Praktiken, die modernen Datenbanksystemen zugrunde liegen.[44] Universität von Kalifornien, Berkeley,
Massachusetts Institute of Technology
2015 Whitfield Diffie Whitfield Diffie Royal Society (cropped).jpg Für grundlegende Beiträge zur modernen Kryptographie. Diffie und Hellmans bahnbrechender Papier von 1976, "New Directions in Cryptography",[45] stellte die Ideen der öffentlichen Kryptographie und digitalen Unterschriften vor, die heute für die meisten regelmäßig verwendeten Sicherheitsprotokolle im Internet basieren.[46] Universität in Stanford
Martin Hellman Martin-Hellman.jpg
2016 Tim Berners-Lee Sir Tim Berners-Lee (cropped).jpg Zum Erfindung der Weltweites Netz, Der Erste Webbrowserund die grundlegenden Protokolle und Algorithmen, die das Web ermöglichen.[47] Cern,
Massachusetts Institute of Technology,
World Wide Web Konsortium
2017 John L. Hennessy John L Hennessy (cropped).jpg Für die Pionierarbeit eines systematischen, quantitativen Ansatzes zur Gestaltung und Bewertung von Computerarchitekturen mit dauerhaften Auswirkungen auf die Mikroprozessorindustrie.[48] 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 erzielt wurden tiefe neuronale Netze Eine kritische Komponente des Computers.[49] Université de Montréal,
Mila
Geoffrey Hinton Geoffrey Hinton at UBC (cropped).jpg Universität von Toronto,
Universität von Kalifornien, San Diego,
Carnegie Mellon Universität,
University College London,
Universität von Edinburgh,
Google AI
Yann Lecun Yann LeCun - 2018 (cropped).jpg Bell Labs,
New Yorker Universität,
Meta Ai
2019 Edwin Catmull VES Awards 89 cropped.jpg Für grundlegende Beiträge zu 3D-Computergrafiken und die revolutionären Auswirkungen dieser Techniken auf computergenerierte Bilder (CGI) auf Filmemachen und andere Anwendungen.[50] Universität von Utah,
Pixar,
Walt Disney Animation Studios
Pat Hanrahan Pat Hanrahan Tableau Customer Conference 2009.jpg Pixar,
Princeton Universität,
Universität in Stanford
2020 Alfred Aho Für grundlegende Algorithmen und Theorie zugrunde liegende Programmiersprache Implementierung und zur Synthese dieser und jene anderer in ihren hoch einflussreichen Büchern, die Generationen von Informatikern ausgebildet haben.[51] Bell Labs,
Universität von Columbia
Jeffrey Ullman Bell Labs,
Princeton Universität,
Universität in Stanford
2021 Jack Dongarra Jack-dongarra-2022.jpg Für wegweisende Beiträge zu numerischen Algorithmen und Bibliotheken, die es Hochleistungs -Computersoftware ermöglichten, über vier Jahrzehnte mit exponentiellen Hardwareverbesserungen Schritt zu halten.[52] Argonne National Laboratory,
Oak Ridge National Laboratory,
Universität von Manchester,
Texas A & M Universität Institut für fortgeschrittenes Studium,
Universität von Tennessee

Siehe auch

Verweise

  1. ^ a b CACM Staff (2014). "ACMs Turing Award -Preis hat auf 1 Million US -Dollar erhöht". Kommunikation der ACM. 57 (12): 20. doi:10.1145/2685372.
  2. ^ a b "A. M. Turing Award". ACM. Archiviert von das Original am 12. Dezember 2009. Abgerufen 5. November, 2007.
  3. ^ Dasgupta, Sanjoy; Papadimitriou, Christos; Vazirani, Umesh (2008). Algorithmen. McGraw-Hill. p.317. ISBN 978-0-07-352340-8.
  4. ^ Bibliographie von Turing Award Lectures, DBLP
  5. ^ Geringer, Steven (27. Juli 2007). "Der Turing Award -Preis von ACM erhöhte sich auf 250.000 US -Dollar". ACM Pressemitteilung. Archiviert von das Original am 30. Dezember 2008. Abgerufen 16. Oktober, 2008.
  6. ^ Brown, Bob (6. Juni 2011). "Warum gibt es keinen Nobelpreis im Computer". Netzwerkwelt. Abgerufen 3. Juni, 2015.
  7. ^ Homer, Steven und Alan L. (2001). Rechenbarkeit und Komplexitätstheorie. p. 35. ISBN 978-0-387-95055-6. Abgerufen 5. November, 2007.
  8. ^ "Der Turing Award -Preis von ACM erhöhte sich auf 1 Million US -Dollar". ACM. Archiviert von das Original am 23. November 2015. Abgerufen 13. November, 2014.
  9. ^ "Erste Frau, die den ACM Turing Award erhält" (Pressemitteilung). Die Assoziation für Computermaschinen. 21. Februar 2007. archiviert von das Original am 2. Juli 2007. Abgerufen 5. November, 2007.
  10. ^ Perlis, A. J. (1967). "Die Synthese von algorithmischen Systemen". Journal of the ACM. 14: 1–9. doi:10.1145/321371.321372. S2CID 12937998.
  11. ^ Wilkes, M. V. (1968). "Computer damals und jetzt". Journal of the ACM. 15: 1–7. doi:10.1145/321439.321440. S2CID 9846847.
  12. ^ Hamming, R. W. (1969). "Die Sicht eines Mannes auf Informatik". Journal of the ACM. 16: 3–12. doi:10.1145/321495.321497. S2CID 6868310.
  13. ^ Minsky, M. (1970). "Form und Inhalt in Informatik (1970 ACM Turing Lecture)". Journal of the ACM. 17 (2): 197–215. doi:10.1145/321574.321575. S2CID 15661281.
  14. ^ Wilkinson, J. H. (1971). "Einige Kommentare eines numerischen Analysten". Journal of the ACM. 18 (2): 137–147. doi:10.1145/321637.321638. S2CID 37748083.
  15. ^ McCarthy, J. (1987). "Allgemeinheit in künstlicher Intelligenz". Kommunikation der ACM. 30 (12): 1030–1035. doi:10.1145/33447.33448. S2CID 1045033.
  16. ^ Dijkstra, E. W. (1972). "Der bescheidene Programmierer". Kommunikation der ACM. 15 (10): 859–866. doi:10.1145/355604.361591.
  17. ^ Bachman, C. W. (1973). "Der Programmierer als Navigator". Kommunikation der ACM. 16 (11): 653–658. doi:10.1145/355611.362534.
  18. ^ Knuth, D. E. (1974). "Computerprogrammierung als Kunst". Kommunikation der ACM. 17 (12): 667–673. doi:10.1145/361604.361612.
  19. ^ Newell, A.; Simon, H. A. (1976). "Informatik als empirische Anfrage: Symbole und Suche". Kommunikation der ACM. 19 (3): 113. doi:10.1145/360018.360022.
  20. ^ Rabin, M. O.; Scott, D. (1959). "Endliche Automaten und ihre Entscheidungsprobleme". IBM Journal of Research and Development. 3 (2): 114. doi:10.1147/rd.32.0114. S2CID 3160330.
  21. ^ Rabin, M. O. (1977). "Komplexität der Berechnungen". Kommunikation der ACM. 20 (9): 625–633. doi:10.1145/359810.359816.
  22. ^ Scott, D. S. (1977). "Logik- und Programmiersprachen". Kommunikation der ACM. 20 (9): 634–641. doi:10.1145/359810.359826.
  23. ^ Backus, J. (1978). "Kann Programmierung vom von Neumann -Stil befreit werden ?: Ein funktionaler Stil und seine Algebra von Programmen". Kommunikation der ACM. 21 (8): 613–641. doi:10.1145/359576.359579.
  24. ^ Floyd, R. W. (1979). "Die Paradigmen der Programmierung". Kommunikation der ACM. 22 (8): 455–460. doi:10.1145/359138.359140.
  25. ^ Iverson, K. E. (1980). "Notation als Gedankenwerkzeug". Kommunikation der ACM. 23 (8): 444–465. doi:10.1145/358896.358899.
  26. ^ Hoare, C. A. R. (1981). "Die alten Kleider des Kaisers". Kommunikation der ACM. 24 (2): 75–83. doi:10.1145/358549.358561.
  27. ^ Codd, E. F. (1982). "Relationale Datenbank: Eine praktische Grundlage für die Produktivität". Kommunikation der ACM. 25 (2): 109–117. doi:10.1145/358396.358400.
  28. ^ Cook, S. A. (1983). "Ein Überblick über die Computerkomplexität". Kommunikation der ACM. 26 (6): 400–408. doi:10.1145/358141.358144.
  29. ^ "A.M. Turing Award Laureate - Kenneth Lane Thompson". Amturing.acm.org. Abgerufen 4. November, 2018.
  30. ^ "A. M. Turing Award Laureate - Dennis M. Ritchie". Amturing.acm.org. Abgerufen 4. November, 2018.
  31. ^ Milner, R. (1993). "Elemente der Interaktion: Turing Award Lecture". Kommunikation der ACM. 36: 78–89. doi:10.1145/151233.151240.
  32. ^ Stearns, R. E. (1994). "Turing Award Lecture: Es ist Zeit, Zeit zu überdenken". Kommunikation der ACM. 37 (11): 95–99. doi:10.1145/188280.188379.
  33. ^ Reddy, R. (1996). "Den möglichen Traum träumen". Kommunikation der ACM. 39 (5): 105–112. doi:10.1145/229459.233436.
  34. ^ "A.M. Turing Award Laureate - Manuel Blum". Amturing.acm.org. Abgerufen 4. November, 2018.
  35. ^ "A.M. Turing Award Laureate - Amir Pnueli". Amturing.acm.org. Abgerufen 4. November, 2018.
  36. ^ "A.M. Turing Award Laureate - Douglas Engelbart". Amturing.acm.org. Abgerufen 4. November, 2018.
  37. ^ "Das Doug Engelbart Institute". Das Doug Engelbart Institute. Archiviert von das Original am 14. Juli 2012. Abgerufen 17. Juni, 2012.
  38. ^ "2007 Turing Award -Gewinner angekündigt".
  39. ^ Pearl, Judäa (2011). Die Mechanisierung der kausalen Inferenz: ein "Mini" -Turing -Test und darüber hinaus (MP4). ACM Turing Award Lectures. doi:10.1145/1283920. ISBN 978-1-4503-1049-9.
  40. ^ "Judäa Perle". ACM.
  41. ^ "Turing Award 2012". ACM. Archiviert von das Original am 18. März 2013.
  42. ^ "Turing Award 2013". ACM.
  43. ^ Lamport, L. (1978). "Zeit, Uhren und die Bestellung von Ereignissen in einem verteilten System" (PDF). Kommunikation der ACM. 21 (7): 558–565. Citeseerx 10.1.1.155.4742. doi:10.1145/359545.359563. S2CID 215822405.
  44. ^ "Turing Award 2014". ACM.
  45. ^ Diffie, W.; Hellman, M. (1976). "Neue Richtungen in der Kryptographie" (PDF). IEEE -Transaktionen zur Informationstheorie. 22 (6): 644–654. Citeseerx 10.1.1.37.9720. doi:10.1109/tit.1976.1055638.
  46. ^ "Cryptography Pioneers erhalten 2015 ACM A.M. Turing Award". ACM.
  47. ^ "Turing Award 2016". ACM.
  48. ^ "Pioniere der modernen Computerarchitektur erhalten ACM A.M. Turing Award". ACM.
  49. ^ "Väter der Deep Learning Revolution erhalten ACM A.M. Turing Award".
  50. ^ Pioniere moderner Computergrafiken, die mit ACM A.M. Turing Award-Hanrahan und Catmulls Innovationen ebneten den Weg für die heutigen 3-D-Animationsfilme. Abgerufen am 19. März 2020.
  51. ^ ACM Turing Award ehrt Innovatoren, die die Grundlagen von Programmiersprachkompilern und Algorithmen geprägt haben. Abgerufen am 31. März 2021.
  52. ^ "Open -Graph -Titel: Jack Dongarra der University of Tennessee erhält 2021 ACM A.M. Turing Award". Awards.Acm.org. Abgerufen 2022-03-30.

Externe Links