Quelltext der Seite Turing Award

Der '''A. M. Turing Award''' wird von der [[Association for Computing Machinery]] (ACM) jährlich an Personen verliehen, die sich besonders um die Entwicklung der [[Informatik]] verdient gemacht haben. Er ist nach [[Alan Turing|Alan Mathison Turing]] benannt und gilt als höchste Auszeichnung in der Informatik, vergleichbar dem [[Nobelpreis]] oder der [[Fields-Medaille]].

== Ablauf ==
Eine Nominierung für den Turing Award kann jede natürliche Person aussprechen, sie muss aber neben einem Lebenslauf des Nominierten auch ein Begründungsschreiben (200 bis 500 Wörter) und mindestens drei substantielle Unterstützerbriefe möglichst prominenter Vertreter des jeweiligen Fachbereichs enthalten. Obwohl Langzeiteinflüsse des Schaffens berücksichtigt werden, sollte der Vorgeschlagene eine hervorzuhebende Einzelleistung vollbracht haben. Die Vorschläge werden in einem Komitee geprüft, dem in der Regel u.&nbsp;a. mehrere vorherige Preisträger angehören.

Verliehen wird der Award auf dem jährlichen ACM Awards Banquet jeweils für das Jahr zuvor. Die Preisträger halten anlässlich ihrer Preisverleihung auf einer beliebigen ACM-Konferenz eine besondere Vorlesung, die ''Turing Award Lecture'', in der sie ihre Sichtweisen und Erfahrungen in zentralen Bereichen der Informatik darlegen.

Der Preis ist seit der Verleihung für 2014 mit einer Million US-Dollar dotiert, die von [[Google Inc.|Google]] gesponsert werden. Zuvor lag die Dotierung seit 2007 bei 250.000 Dollar mit [[Intel]] als Co-Sponsor. Vier Jahre davor war das Preisgeld von 25.000 auf 100.000 Dollar erhöht worden.

== Preisträger ==
Der erste Preisträger war 1966 [[Alan J. Perlis]], der zuvor Präsident der ACM gewesen war und später den Ausdruck der [[Turing Tarpit]] (für eine sehr flexible Programmiersprache, die aber schwierig zu erlernen und in der Praxis anzuwenden ist) prägte. Mit [[Frances E. Allen]] erhielt 40 Jahre später erstmals eine Frau die Auszeichnung. 1975 ging der Preis erstmals an mehr als eine Person ([[Allen Newell]] und [[Herbert A. Simon]], die sich zusammen mit [[Künstliche Intelligenz|künstlicher Intelligenz]] befassten).

Rund zwei Drittel der Awards<!-- Stand 2020 50 von 74--> gingen an US-amerikanische Staatsbürger.

{| class="wikitable"
! width="40"| Jahr
! width="90"| Bild
! width="160"| Person
! Leistung
!Einrichtung(en), an denen die Leistung erbracht wurde und/oder auf diese vorbereiteten
! width="250"| ''Turing Award Lecture''
|- style="vertical-align:top"
| 1966
|
| [[Alan J. Perlis]]<br />(1922–1990, {{USA|#}})
| Für fortgeschrittene [[Programmierung|Programmiertechniken]] und [[Compiler]]bau
|[[Carnegie Mellon University]]
| [https://dl.acm.org/ft_gateway.cfm?id=1283921&type=pdf The Synthesis of Algorithmic Systems]
|- style="vertical-align:top"
| 1967
| [[Datei:Maurice Vincent Wilkes 1980 (3).jpg|90px|Maurice V. Wilkes]]
| [[Maurice V. Wilkes]]<br />(1913–2010, {{GBR|#}})
| Für den Bau des [[EDSAC]], des ersten Computers mit intern gespeicherten [[Computerprogramm|Programmen]], sowie zusammen mit [[David Wheeler]] und [[Stanley Gill]] die effektive Einführung von [[Programmbibliothek]]en mit dem Werk ''Preparation of Programs for Electronic Digital Computers''
|[[University of Cambridge]]
| [https://dl.acm.org/ft_gateway.cfm?id=1283922&type=pdf Computers Then and Now]
|- style="vertical-align:top"
| 1968
|
| [[Richard Hamming]]<br />(1915–1998, {{USA|#}})
| Für [[Numerische Mathematik|Numerische Methoden]], code-erzeugende Systeme, [[Fehlerkorrekturverfahren|fehlererkennende und fehlerkorrigierende Codes]]
|[[Bell Laboratories]]
| [http://dl.acm.org/citation.cfm?id=321495.321497 One Man's View of Computer Science]
|- style="vertical-align:top"
| 1969
| [[Datei:Marvin Minsky at OLPCb.jpg|90px|Marvin Minsky]]
| [[Marvin Minsky]]<br />(1927–2016, {{USA|#}})
| Für [[Künstliche Intelligenz]]<!--ACM: „The citation for this award winner is not currently available.“ bzw. auf Anfrage per Mail: „Unfortunately, we were not able to find one for Marvin Minsky“ -->
|[[Massachusetts Institute of Technology]]
| [http://dl.acm.org/citation.cfm?id=1283924 Form and Content in Computer Science]
|- style="vertical-align:top"
| 1970
|
| [[James H. Wilkinson]]<br />(1919–1986, {{GBR|#}})
| Für [[Numerische Mathematik]], [[lineare Algebra]], „Rückwärts“-Fehleranalyse
|[[National Physical Laboratory]]
| [http://dl.acm.org/citation.cfm?id=321638 Some Comments from a Numerical Analyst]
|- style="vertical-align:top"
| 1971
| [[Datei:John McCarthy Stanford.jpg|90px|John McCarthy]]
| [[John McCarthy]]<br />(1927–2011, {{USA|#}})
| Für Künstliche Intelligenz<!--ACM: "Dr. McCarthy's lecture „The Present State of Research on Artificial Intellegence“ is a topic that covers the area in which he has achieved considerable recognition for his work."-->
|[[Stanford University]]
| [http://dl.acm.org/citation.cfm?id=33448 Generality in Artificial Intelligence]<br /><small>(veröffentlicht in überarbeiteter Form 1986)</small>
|- style="vertical-align:top"
| 1972
| [[Datei:Edsger Wybe Dijkstra.jpg|90px|Edsger W. Dijkstra]]
| [[Edsger W. Dijkstra]]<br />(1930–2002, {{NLD|#}})
| Für Technik und Begrifflichkeit der [[Programmiersprache]]n<!-- ACM: Keine konkrete Angabe-->
|[[Centrum Wiskunde & Informatica]], [[Technische Universität Eindhoven]], [[University of Texas at Austin]]
| [http://dl.acm.org/citation.cfm?id=361591 The Humble Programmer]
|- style="vertical-align:top"
| 1973
| [[Datei:Charles Bachman 2012.jpg|90px|Charles Bachman]]
| [[Charles Bachman]]<br />(1924–2017, {{USA|#}})
| Für [[Datenbank]]techniken
|General Electric Research Laboratory (gehört nun zu [[Bull (Computerhersteller)|Bull]])
| [http://dl.acm.org/citation.cfm?id=362534 The Programmer as Navigator]
|- style="vertical-align:top"
| 1974
| [[Datei:KnuthAtOpenContentAlliance.jpg|90px|Donald E. Knuth]]
| [[Donald E. Knuth]]<br />(* 1938, {{USA|#}})
| Für Analyse von [[Algorithmus|Algorithmen]] und Entwurf von Programmiersprachen, insbesondere die Beiträge zur Programmierkunst in ''[[The Art of Computer Programming]]''
|[[California Institute of Technology]], [[Institute for Defense Analyses]], [[Stanford University]]
| [http://dl.acm.org/citation.cfm?id=361612 Computer Programming as an Art]
|- style="vertical-align:top"
|rowspan="2"| 1975
|
| [[Allen Newell]]<br />(1927–1992, {{USA|#}})
|rowspan="2"| Für Künstliche Intelligenz, Psychologie menschlicher Erkenntnis, Listenverarbeitung (ursprünglich zusammen mit [[John Clifford Shaw]])
|[[RAND Corporation]]
| rowspan="2" | [http://dl.acm.org/citation.cfm?id=360022 Computer Science as Empirical Inquiry: Symbols and Search]
|- style="vertical-align:top"
| [[Datei:Herbert Simon, RIT NandE Vol13Num11 1981 Mar19 Complete.jpg|90px|Herbert Simon]]
| [[Herbert A. Simon]]<br />(1916–2001, {{USA|#}})
|[[Carnegie Mellon University]]
|- style="vertical-align:top"
|rowspan="2"| 1976
| [[Datei:M O Rabin.jpg|90px|Michael O. Rabin]]
| [[Michael O. Rabin]]<br />(1931–2026, {{ISR|#}})
|rowspan="2"| Für [[Nichtdeterministischer endlicher Automat|nichtdeterministische Automaten]] (eingeführt im Paper ''Finite Automata and Their Decision Problem'')
|[[Princeton University]]
| [http://dl.acm.org/citation.cfm?id=359816 Complexity of Computations]
|- style="vertical-align:top"
| [[Datei:Scott Dana small.jpg|90px|Dana Scott]]
| [[Dana Scott]]<br />(* 1932, {{USA|#}})
|[[University of Chicago]]
| [http://dl.acm.org/citation.cfm?id=359826 Logic and Programming Languages]
|- style="vertical-align:top"
| 1977
| [[Datei:John Backus.jpg|90px|John W. Backus]]
| [[John W. Backus]]<br />(1924–2007, {{USA|#}})
| Für [[höhere Programmiersprache]]n (insbesondere [[Fortran]]), formale Verfahren zur Spezifikation von Programmiersprachen
|[[IBM]]
| [https://dl.acm.org/doi/10.1145/359576.359579 Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs]
|- style="vertical-align:top"
| 1978
|
| [[Robert Floyd]]<br />(1936–2001, {{USA|#}})
| Für Methoden zur Erzeugung von effizienten und zuverlässigen Programmen, und Hilfe zur Begründung der Informatik-Unterfelder [[Parser]]theorie, [[Formale Semantik|Programmiersprachensemantik]], automatische [[Verifizierung|Programmverifizierung]] und [[Codegenerierung|-synthese]] sowie [[Algorithmus#Algorithmenanalyse|Algorithmenanalyse]]
|[[Carnegie Mellon University]], [[Stanford University]]
| [http://dl.acm.org/citation.cfm?id=359140 The Paradigms of Programming]
|- style="vertical-align:top"
| 1979
| [[Datei:KEI with ATW NY Aug 1989 (cropped) - Ken Iverson.png|90px|Ken Iverson]]
| [[Kenneth E. Iverson]]<br />(1920–2004, {{CAN|#}})
| Für Programmiersprachen und mathematische Notation, Implementierung interaktiver Systeme, Nutzung von [[APL (Programmiersprache)|APL]] in der Ausbildung, sowie Beiträge zur Theorie und Praxis der Programmiersprachen
|[[IBM]]
| [http://dl.acm.org/citation.cfm?id=358899 Notation as a Tool of Thought]
|- style="vertical-align:top"
| 1980
| [[Datei:Hoare.jpg|90px|Tony Hoare]]
| [[Tony Hoare]]<br />(1934–2026, {{GBR|#}})
| Für die Definition und Design von Programmiersprachen
|[[Queen’s University Belfast]], [[University of Oxford]]
| [http://dl.acm.org/citation.cfm?id=358561 The Emperor's Old Clothes]
|- style="vertical-align:top"
| 1981
|
| [[Edgar F. Codd]]<br />(1923–2003, {{GBR|#}})
| Für die Theorie und Praxis der [[Datenbank]]managementsysteme, speziell [[Relationale Datenbank]]en, die er in einer Serie von Papers um ''A Relational Model of Data for Large Shared Data Banks'' entwickelt hat, womit er die Grundlagen für weitere Forschungen zu Datenbanksprachen, Abfrage-Subsystemen, Datenbanksemantik, Locking und Recovery und inferenzielle Datenanalyse legte
|[[IBM]]
| [http://dl.acm.org/citation.cfm?id=358400 Relational Database: A Practical Foundation for Productivity]
|- style="vertical-align:top"
| 1982
| [[Datei:Prof.Cook.jpg|90px|Stephen A. Cook]]
| [[Stephen A. Cook]]<br />(* 1939, {{USA|#}})
| Für die [[Komplexitätstheorie]], insbesondere die im Paper ''The Complexity of Theorem Proving Procedures'' begründete Theorie der [[NP-Vollständigkeit]]
|[[University of Toronto]]
| {{Webarchiv |url=http://www.jdl.ac.cn/turing/pdf/p400-cook.pdf |text=An Overview of Computational Complexity |wayback=20060117011608}} (PDF-Datei; 969&nbsp;kB)
|- style="vertical-align:top"
|rowspan="2"| 1983
| [[Datei:Ken Thompson 02.jpg|90px|Ken Thompson]]
| [[Ken Thompson]]<br />(* 1943, {{USA|#}})
|rowspan="2"| Für grundlegende [[Betriebssystem]]theorie, Implementierung von [[Unix]]
|[[Bell Laboratories]]
| [https://www.win.tue.nl/~aeb/linux/hh/thompson/trust.html Reflections on Trusting Trust]
|- style="vertical-align:top"
| [[Datei:Dennis Ritchie.jpg|90px|Dennis Ritchie]]
| [[Dennis Ritchie]]<br />(1941–2011, {{USA|#}})
|[[Bell Laboratories]]
| [http://dl.acm.org/citation.cfm?id=358207 Reflections on Software Research]
|- style="vertical-align:top"
| 1984
| [[Datei:Niklaus Wirth, UrGU.jpg|90px|Niklaus Wirth]]
| [[Niklaus Wirth]]<br />(1934–2024, {{CHE|#}})
| Für die Entwicklung mehrerer Programmiersprachen: [[Euler (Programmiersprache)|Euler]], [[Algol W]], [[Modula-2]] und insbesondere [[Pascal (Programmiersprache)|Pascal]]
|[[Stanford University]], [[Universität Zürich]],
[[ETH Zürich]]
| [http://dl.acm.org/citation.cfm?doid=2786.2789 From Programming Language Design to Computer Construction]
|- style="vertical-align:top"
| 1985
| [[Datei:Karp mg 7725-b.cr2.jpg|90px|Richard M. Karp]]
| [[Richard M. Karp]]<br />(* 1935, {{USA|#}})
| Für die Algorithmentheorie, insbesondere die Entwicklung effizienter Algorithmen für den [[Netzwerkfluss]] und andere kombinatorische [[Optimierungsproblem]]e, die Identifikation der Berechenbarkeit in [[Polynomialzeit]] und Beiträge zur Theorie der [[NP-Vollständigkeit]], wo er eine Methodik zu deren Nachweis entwickelt hat
|[[University of California, Berkeley]]
| {{Webarchiv |url=http://www.jdl.ac.cn/turing/pdf/p98-karp.pdf |text=Combinatorics, Complexity, and Randomness |wayback=20060117011544}} (PDF-Datei; 1,22&nbsp;MB)
|- style="vertical-align:top"
|rowspan="2"| 1986
| [[Datei:Hopcrofg.jpg|90px|John E. Hopcroft]]
| [[John E. Hopcroft]]<br />(* 1939, {{USA|#}})
|rowspan="2"| Für Design und Analyse von Algorithmen und [[Datenstruktur]]en
|[[Cornell University]]
| [https://dl.acm.org/ft_gateway.cfm?id=1283943&type=pdf Computer Science: The Emergence Of A Discipline] (PDF-Datei; 494&nbsp;kB)
|- style="vertical-align:top"
| [[Datei:Bob Tarjan.jpg|90px|Robert Tarjan]]
| [[Robert Tarjan]]<br />(* 1948, {{USA|#}})
|[[Stanford University]], [[Cornell University]], [[University of California, Berkeley]], [[Princeton University]]
| [https://dl.acm.org/ft_gateway.cfm?id=1283944&type=pdf Algorithm Design] (PDF-Datei; 944&nbsp;kB)
|- style="vertical-align:top"
| 1987
|
| [[John Cocke]]<br />(1925–2002, {{USA|#}})
| Für die Compilertheorie und -design, Architektur großer Systeme, Entwurf der [[Reduced Instruction Set Computer|RISC]]-Architektur; insbesondere für die Entdeckung und Systematisierung vieler zur Optimierung von Compilern grundlegender Transformationen, wie die Verringerung der Operatorstärke, Eliminierung verbreiteter Unterausdrücke und von totem Code, Registerallokation und Konstantenausbreitung
|[[IBM]]
| [https://dl.acm.org/ft_gateway.cfm?id=1283945&type=pdf The Search For Performance In Scientific Processors] (PDF-Datei; 402&nbsp;kB)
|- style="vertical-align:top"
| 1988
| [[Datei:Ivan Sutherland at CHM.jpg|90px|Ivan Sutherland]]
| [[Ivan Sutherland]]<br />(* 1938, {{USA|#}})
| Für die [[Computergrafik]], angefangen mit der Entwicklung von [[Sketchpad]], das viele wichtige Techniken einführte, später auch die Entwicklung eines [[Lorgnon]]s zur Betrachtung von Stereobildern, und eleganter Algorithmen zur Registrierung digitalisierter Ansichten, Polygon-Clipping und Oberflächenrepräsentation mit überdeckten Linien
|[[Stanford University]], [[Harvard University]], [[University of Utah]], [[California Institute of Technology]]
| [https://dl.acm.org/ft_gateway.cfm?id=1283946&type=pdf Micropipelines] (PDF-Datei; 3,01&nbsp;MB)
|- style="vertical-align:top"
| 1989
| [[Datei:William Kahan.jpg|90px|William Kahan]]
| [[William Kahan]]<br />(* 1933, {{CAN|#}})
| Für [[Numerische Mathematik]], insbesondere [[Gleitkommazahl|Gleitkommaberechnungen]], mit der Entwicklung und Propagierung der Standards [[IEEE 754]] und [[IEEE 854]]
|[[University of California, Berkeley]]
|<!-- ACM auf Anfrage per Mail: „Several of the Turing Award winners did not submit their Turing Lectures which is why these are missing.“ -->
|- style="vertical-align:top"
| 1990
| [[Datei:Fernando Corbato.jpg|90px|Fernando José Corbató]]
| [[Fernando José Corbató]]<br />(1926–2019, {{USA|#}})
| Für das Konzept und die Koordination der Entwicklung des [[Compatible Time-Sharing System]] und [[Multics]] (das viele wichtige Konzepte und Techniken einführte und viele spätere Systeme beeinflusste; Corbatós taktbasierter Seitenauslagerungsalgorithmus wird seither in praktisch allen Virtuellen Speichersystemen verwendet), dabei Pionierarbeit in vielen Software-Engineering-Techniken, wie Datenkapselung durch erzwungene Abstraktion
|[[Massachusetts Institute of Technology]]
| [https://dl.acm.org/ft_gateway.cfm?id=1283947&type=pdf On Building Systems That Will Fail] (PDF-Datei; 997&nbsp;kB)
|- style="vertical-align:top"
| 1991
|
| [[Robin Milner]]<br />(1934–2010, {{GBR|#}})
|
* [[LCF (Theorembeweiser)|LCF]], der wohl erste theoretisch fundierte und praktisch einsetzbare Theorembeweiser
* [[ML (Programmiersprache)|ML]], die erste Programmiersprache mit polymorpher [[Typinferenz]] und typensicherem Exception-Handling
* [[Calculus of communicating systems|CCS]], eine generelle Theorie der Nebenläufigkeit
|[[Stanford University]],
[[University of Edinburgh]]
| [http://awards.acm.org/images/awards/140/articles/2213856.pdf Elements of Interaction] (PDF-Datei; 1,38&nbsp;MB)
|- style="vertical-align:top"
| 1992
| [[Datei:Professional Developers Conference 2009 Technical Leaders Panel 6.jpg|90px|Butler Lampson]]
| [[Butler Lampson]]<br />(* 1943, {{USA|#}})
| Für verteilte, personalisierte Computerumgebungen (nach dem Paradigma Personalcomputer/LAN/Server statt Terminal/Mainframe) und die Technologie für deren Umsetzung: [[Workstation]]s, Netzwerke, Betriebssysteme, Displays, Sicherheit und [[Textverarbeitung|Dokumenten-Publishing]]
|[[Xerox PARC|PARC]], [[Digital Equipment Corporation|DEC]]
| Principles for Computer System Design<br /><small>([http://research.microsoft.com/en-us/um/people/blampson/Slides/TuringLecture.doc DOC], [http://research.microsoft.com/en-us/um/people/blampson/Slides/TuringLecture.pdf PDF], [http://research.microsoft.com/en-us/um/people/blampson/Slides/TuringLecture.htm HTML])</small>
|- style="vertical-align:top"
|rowspan="2"| 1993
| [[Datei:Juris Hartmanis(2002).jpg|90px|Juris Hartmanis]]
| [[Juris Hartmanis]]<br />(1928–2022, {{USA|#}})
|rowspan="2"| Für die Begründung der [[Komplexitätstheorie]] mit dem Paper ''On the Computational Complexity of Algorithms''
|General Electric Research Laboratory (gehört nun zu [[Bull (Computerhersteller)|Bull]])
| [https://dl.acm.org/doi/10.1145/214037.214040 On Computational Complexity and the Nature of Computer Science]
|- style="vertical-align:top"
| [[Datei:Dick Stearns.jpg|90px|Richard E. Stearns]]
| [[Richard E. Stearns]]<br />(* 1936, {{USA|#}})
|General Electric Research Laboratory (gehört nun zu [[Bull (Computerhersteller)|Bull]])
| [http://awards.acm.org/images/awards/140/articles/1081900.pdf It's Time to Reconsider Time] (PDF-Datei; 736&nbsp;kB)
|- style="vertical-align:top"
|rowspan="2"| 1994
| [[Datei:27. Dr. Edward A. Feigenbaum 1994-1997.jpg|90px|Edward Feigenbaum]]
| [[Edward Feigenbaum]]<br />(* 1936, {{USA|#}})
|rowspan="2"| Für das Design und die Konstruktion großer Systeme künstlicher Intelligenz, mit denen die praktische Wichtigkeit und der kommerzielle Einfluss der KI-Technologie demonstriert wurde (Reddy: Spracherkennung, Feigenbaum: regelbasierte Expertensysteme)
|[[Stanford University]]
| [http://awards.acm.org/images/awards/140/articles/6247682.pdf How the “What” Becomes the “How”] (PDF-Datei; 322&nbsp;kB)
|- style="vertical-align:top"
| [[Datei:ProfReddys Photo Cropped.jpg|90px|Raj Reddy]]
| [[Raj Reddy]]<br />(* 1937, {{USA|#}})
|[[Stanford University]], [[Carnegie Mellon University]]
| [http://awards.acm.org/images/awards/140/articles/5906401.pdf To Dream The Possible Dream] (PDF-Datei; 207&nbsp;kB)
|- style="vertical-align:top"
| 1995
| [[Datei:Blum manuel lenore avrim.jpg|90px|Manuel Blum]]
| [[Manuel Blum]]<br />(* 1938, {{VEN|#}})
| Für die [[Komplexitätstheorie]] und deren Anwendung in der [[Kryptographie]] und Programmprüfung
|[[University of California, Berkeley]]
|<!-- ACM auf Anfrage per Mail: „Several of the Turing Award winners did not submit their Turing Lectures which is why these are missing.“ -->
|- style="vertical-align:top"
| 1996
| [[Datei:Amir Pnueli.jpg|90px|Amir Pnueli]]
| [[Amir Pnueli]]<br />(1941–2009, {{ISR|#}})
| Für [[Temporale Logik]]; Programm- und Systemverifizierung, insbesondere bei nebenläufigen und reaktiven Systemen (mit dem Paper ''The Temporal Logic of Programs'')
|[[Stanford University]], [[Universität Tel Aviv]], [[Weizmann-Institut für Wissenschaften]], [[Courant Institute of Mathematical Sciences of New York University|Courant Institute of Mathematical Sciences]]
| [http://www.cs.nyu.edu/cs/faculty/pnueli/turing97.ps.gz Verification Engineering: A Future Profession] ([[Gzip|GZIP]]; 70&nbsp;kB)<br /><small>(PostScript)</small>
|- style="vertical-align:top"
| 1997
| [[Datei:Douglas Engelbart in 2008.jpg|90px|Douglas C. Engelbart]]
| [[Douglas C. Engelbart]]<br />(1925–2013, {{USA|#}})
| Für seine Zukunftsvision des interaktiven Computers, Erfindung von Schlüsseltechnologien für deren Realisierung (die Maus, Fenster, Hyperlinks, Telekonferenzen, Online-Publishing)
|[[SRI International]], Tymshare, [[McDonnell Douglas]], Bootstrap Institute/Alliance, The Doug Engelbart Institute
| Collective IQ and a framework for bootstrapping our society<!-- ACM auf Anfrage per Mail: „Several of the Turing Award winners did not submit their Turing Lectures which is why these are missing.“ -->
|- style="vertical-align:top"
| 1998
| [[Datei:Jim Gray Computing in the 21st Century 2006.jpg|90px|Jim Gray]]
| [[Jim Gray]]<br />(1944–2012, {{USA|#}})
| Für Datenbanken und [[Transaction processing|Transaktionsverarbeitung]], und technische Führerschaft in der Systemimplementation von Prototypen zu kommerziellen Produkten
|[[IBM]], [[Microsoft]]
| [http://research.microsoft.com/en-us/um/people/gray/Talks/Gray_Turing_FCRC.pdf What Next? A Few Remaining Problems in Information Technology] (PDF-Datei; 2,71&nbsp;MB)
|- style="vertical-align:top"
| 1999
| [[Datei:Frederick Brooks IMG 2279.jpg|90px|Frederick P. Brooks]]
| [[Frederick P. Brooks]]<br />(1931–2022 {{USA|#}})
| Für [[Rechnerarchitektur]], [[Betriebssystem]]e, [[Softwaretechnik|Software-Engineering]]
|[[IBM]], [[University of North Carolina at Chapel Hill]]
| {{Webarchiv |url=http://wean1.ulib.org/Lectures/Distinguished%20Lectures/2002/01.0%20Fredric%20Brooks/4VIDEO/SCS%20lecture1-31%20250k.wmv |text=The Design of Design |wayback=20070623140756}}<br /><small>(WMV)</small>
|- style="vertical-align:top"
| 2000
| [[Datei:Andrew Yao.jpg|90px|Andrew Yao]]
| [[Andrew Yao]]<br />(* 1946, {{CHN|#}})
| Für die [[Berechenbarkeitstheorie]], insbesondere die komplexitätsbasierte Theorie der [[Pseudozufall]]szahlenerzeugung, der Kryptographie und [[Kommunikationskomplexität]]
|[[Stanford University]], [[University of California, Berkeley]], [[Princeton University]]
|<!-- ACM auf Anfrage per Mail: „Several of the Turing Award winners did not submit their Turing Lectures which is why these are missing.“ -->
|- style="vertical-align:top"
|rowspan="2"| 2001
|
| [[Ole-Johan Dahl]]<br />(1931–2002, {{NOR|#}})
|rowspan="2"| Für das Aufkommen der [[Objektorientierte Programmierung|objektorientierten Programmierung]] fundamentale Ideen durch das Design der [[Simula]]-Programmiersprachen, die Konzepte wie Objekte, Klassen und Vererbung einführten
|
| rowspan="2" | The Development of the Key Object-Oriented Concepts<br /><small>(Der Vortrag wurde nicht gehalten, da beide Preisträger zuvor verstarben)</small>
|- style="vertical-align:top"
| [[Datei:Kristen-Nygaard-SBLP-1997-head.png|90px|Kristen Nygaard]]
| [[Kristen Nygaard]]<br />(1926–2002, {{NOR|#}})
|Norsk Regnesentral, [[Universität Oslo]]
|- style="vertical-align:top"
|rowspan="3"| 2002
| [[Datei:Rivest cropped.jpg|90px|Ronald L. Rivest]]
| [[Ronald L. Rivest]]<br />(* 1947, {{USA|#}})
|rowspan="3"| Für [[Asymmetrisches Kryptosystem|Asymmetrische Verschlüsselungsalgorithmen]], speziell [[RSA-Kryptosystem|RSA]], und deren praktische Einsetzbarkeit
|[[Massachusetts Institute of Technology]]
| The Early Days of RSA – History and Lessons<br /><small>([http://awards.acm.org/images/awards/140/vstream/2002/R/r-pp/rivest1_files/800x600/index.html HTML-Slides], [http://awards.acm.org/images/awards/140/vstream/2002/award/R-qt-lectures.qtl QuickTime], [http://awards.acm.org/images/awards/140/vstream/2002/R/r-mm7.htm Shockwave], [http://awards.acm.org/images/awards/140/vstream/2002/R/R-audio.mp3 MP3])</small>
|- style="vertical-align:top"
| [[Datei:Adi Shamir 2009 crop.jpg|90px|Adi Shamir]]
| [[Adi Shamir]]<br />(* 1952, {{ISR|#}})
|[[Massachusetts Institute of Technology]]
| Cryptography: State Of The Science<br /><small>([http://awards.acm.org/images/awards/140/vstream/2002/S/s-pp/shamir_1files_files/800x600/index.html HTML-Slides], [http://awards.acm.org/images/awards/140/vstream/2002/award/S-qt-lectures.qtl QuickTime], [http://awards.acm.org/images/awards/140/vstream/2002/S/s-mm7.htm Shockwave], [http://awards.acm.org/images/awards/140/vstream/2002/S/S-audio.mp3 MP3])</small>
|- style="vertical-align:top"
| [[Datei:Len-mankin-pic.jpg|90px|Leonard Adleman]]
| [[Leonard Adleman]]<br />(* 1945, {{USA|#}})
|[[University of Southern California]]
| Pre-RSA<br /><small>([http://awards.acm.org/images/awards/140/vstream/2002/A/a-pp/adelman1_files/800x600/index.html HTML-Slides], [http://awards.acm.org/images/awards/140/vstream/2002/award/A-qt-lecture.qtl QuickTime], [http://awards.acm.org/images/awards/140/vstream/2002/A/a-mm7.htm Shockwave], [http://awards.acm.org/images/awards/140/vstream/2002/A/A-audio.mp3 MP3])</small>
|- style="vertical-align:top"
| 2003
| [[Datei:Alan Kay (3097597186).jpg|90px|Alan Kay]]
| [[Alan Kay]]<br />(* 1940, {{USA|#}})
| Für Grundideen moderner [[Objektorientierte Programmiersprache|objektorientierter Programmiersprachen]] mit der Entwicklung von [[Smalltalk (Programmiersprache)|Smalltalk]] und deren grafischer Entwicklungsumgebung, sowie die Integration von deren Konzept in den [[Xerox Alto]] und das [[Dynabook]] und damit Beiträge zum Personal Computing
|[[University of Utah]], [[Xerox PARC|PARC]], [[Stanford University]], [[Atari]], [[Apple]] Advanced Technology Group, [[Walt Disney Imagineering]], Viewpoints Research Institute, [[HP Inc.]] Labs
| [http://awards.acm.org/images/awards/140/vstream/2003/AlanKay/AK768kFull.mov The Computer Revolution Hasn't Happened Yet] (MOV-Datei; 0&nbsp;kB)<br /><small>(QuickTime)</small>
|- style="vertical-align:top"
|rowspan="2"| 2004
| [[Datei:Vint Cerf, Bangalore 2007 2.jpg|90px|Vinton G. Cerf]]
| [[Vinton G. Cerf]]<br />(* 1943, {{USA|#}})
|rowspan="2"| Für Pionierarbeit auf dem Feld des [[Internetworking]], insbesondere Entwicklung von [[TCP/IP]]
|[[University of California, Los Angeles]], [[Stanford University]], [[Defense Advanced Research Projects Agency|DARPA]], MCI Communications, [[Corporation for National Research Initiatives|CNRI]], [[Google LLC|Google]]
| rowspan="2" | ''(keine, stattdessen eine [http://awards.acm.org/images/awards/140/vstream/2004/Turing-04-768K.mov Podiumsdiskussion]; MOV-Datei; 0&nbsp;kB)''<br /><small>(QuickTime)</small>
|- style="vertical-align:top"
| [[Datei:Robert E. Kahn.jpg|90px|Robert E. Kahn]]
| [[Robert E. Kahn]]<br />(* 1938, {{USA|#}})
|[[Massachusetts Institute of Technology]], [[Bolt Beranek and Newman]], [[Defense Advanced Research Projects Agency|DARPA]], [[Corporation for National Research Initiatives|CNRI]]
|- style="vertical-align:top"
| 2005
| [[Datei:Peternaur.JPG|90px|Peter Naur]]
| [[Peter Naur]]<br />(1928–2016, {{DNK|#}})
| Für Beiträge zum Design von Programmiersprachen und der Definition von [[Algol 60]], Compilerdesign (mit [[Jørn Jensen]] Implementierung des GIER Algol Compilers, der Prozeduren vollständig unterstützte, abstrakte Typprüfung und Testabdeckungsprüfung anbot) und der Kunst und Praxis des Programmierens (Einführung von Assertions, Verwendung von strukturierter Programmierung)
|[[Regnecentralen]], [[Universität Kopenhagen]]
| [http://awards.acm.org/images/awards/140/vstream/2005/Computing_vs_Human_Thinking768K.mov Computing vs. Human Thinking] (MOV-Datei; 0&nbsp;kB)<br /><small>(QuickTime)</small>
|- style="vertical-align:top"
| 2006
| [[Datei:Allen mg 2528-3750K-b.jpg|90px|Frances E. Allen]]
| [[Frances E. Allen]]<br />(1932–2020, {{USA|#}})
| Für Theorie und Praxis der Compileroptimierung, Grundlagenlegung für die moderne automatische Programmoptimierung und Parallelverarbeitung (alleine, etwa mit dem Paper ''Program Optimization,'' das graphentheoretische Strukturen in die Optimierungsanalyse einführte, und zusammen mit [[John Cocke]])
|[[IBM]]
| [http://awards.acm.org/images/awards/140/vstream/2006/turingaward2006.mov Compiling for Performance – A Personal Tour] (MOV-Datei; 0&nbsp;kB)<br /><small>(QuickTime)</small>
|- style="vertical-align:top"
|rowspan="3"| 2007
| [[Datei:Edmund Clarke FLoC 2006.jpg|90px|Edmund M. Clarke]]
| [[Edmund M. Clarke]]<br />(1945–2020, {{USA|#}})
|rowspan="3"| Für die Entwicklung der von Clarke/Emerson und Sifakis unabhängig voneinander begründeten [[Modellprüfung]] zu einer effektiven, in Hard- und Softwareindustrie weitverbreiteten Verifizierungstechnik
|[[Harvard University]], [[Carnegie Mellon University]]
| [http://awards.acm.org/images/awards/140/vstream/2007/part1.mov Model Checking – My 27 year quest to overcome the State Explosion problem] (MOV-Datei; 0&nbsp;kB)<br /><small>(QuickTime, später in überarbeiteter Form mit den anderen beiden [http://portal.acm.org/citation.cfm?id=1592781 wiederveröffentlicht])</small>
|- style="vertical-align:top"
| [[Datei:E-allen-emerson.jpg|90px|Allen Emerson]]
| [[Allen Emerson|E. Allen Emerson]]<br />(* 1954, {{USA|#}})
|[[Harvard University]], [[University of Texas at Austin]]
| [http://awards.acm.org/images/awards/140/vstream/2007/part2.mov Model Checking: A Bird’s-Eye View] (MOV-Datei; 0&nbsp;kB)<br /><small>(QuickTime, später in überarbeiteter Form mit den anderen beiden [http://portal.acm.org/citation.cfm?id=1592781 wiederveröffentlicht])</small>
|- style="vertical-align:top"
| [[Datei:Joseph Sifakis img 0966.jpg|90px|Joseph Sifakis]]
| [[Joseph Sifakis]]<br />(* 1946, {{GRC|#}})
|[[Centre national de la recherche scientifique]]
| The Quest for Correctness – Beyond Verification<br /><small>([http://www-verimag.imag.fr/~sifakis/ESWEEK08-final-pdf.pdf PDF], [http://awards.acm.org/images/awards/140/vstream/2007/part3.mov QuickTime] (MOV-Datei; 0&nbsp;kB); später in überarbeiteter Form mit den anderen beiden [http://portal.acm.org/citation.cfm?id=1592781 wiederveröffentlicht])</small>
|- style="vertical-align:top"
| 2008
| [[Datei:Barbara Liskov computer scientist 2010.jpg|90px|Barbara Liskov]]
| [[Barbara Liskov]]<br />(* 1939, {{USA|#}})
| Für Beiträge zu Programmiersprachen- und Betriebssystemdesign, insbesondere im Zusammenhang mit Datenabstraktion, Modularität, Fehlertoleranz, Persistenz und [[Verteiltes Rechnen|verteiltem Rechnen]]
|[[Massachusetts Institute of Technology]]
| [http://www.infoq.com/presentations/liskov-power-of-abstraction The Power of Abstraction]
|- style="vertical-align:top"
| 2009
| [[Datei:Chuckthacker.jpg|90px|Charles P. Thacker]]
| [[Charles P. Thacker]]<br />(1943–2017, {{USA|#}})
| Für Pionierarbeit am Design und der Umsetzung des [[Xerox Alto|Alto]], dem ersten Personal Computer mit grafischer Benutzeroberfläche, und Beiträge zur Entwicklung von [[Ethernet]] und Tablet-PCs
|[[Xerox PARC|PARC]], [[Digital Equipment Corporation|DEC]], [[Microsoft Research]]
| [http://portal.acm.org/ft_gateway.cfm?id=1816006&type=mov&coll=portal&dl=ACM Improving the Future by Examining the Past]
|- style="vertical-align:top"
| 2010
| [[Datei:Leslie Valiant.jpg|90px|Leslie Valiant]]
| [[Leslie Valiant]]<br />(* 1949, {{GBR|#}})
| Für maßgebliche Beiträge zur Komplexitätstheorie, insbesondere der [[Computational learning theory]] (mit der Einführung des [[Probably Approximately Correct Learning|PAC-Modells]]), der Aufzählungs- und algebraischen Berechnungskomplexität und der Theorie parallelen und verteilten Rechnens
|[[Harvard University]]
| [http://awards.acm.org/citation.cfm?id=2612174&srt=year&year=2010&aw=140&ao=AMTURING&yr=2010 The Extent and the Limitations of Mechanistic Explanations of Nature]<br /><small>(Flash)</small>
|- style="vertical-align:top"
| 2011
| [[Datei:Judea Pearl at NIPS 2013 (11781981594).jpg|90px|Judea Pearl]]
| [[Judea Pearl]]<br /> (* 1936, {{USA|#}})
| Für grundlegende Beiträge zur künstlichen Intelligenz durch die Entwicklung eines Kalküls für probabilistisches und kausalistisches [[Logisches Schließen|Schließen]]
|[[University of California, Los Angeles]], [[New Jersey Institute of Technology]]
| [http://amturing.acm.org/vp/pearl_2658896.cfm The Mechanization of Causal Inference: A "mini" Turing Test And Beyond]<br /><small>(Flash)</small>
|- style="vertical-align:top"
| rowspan="2"| 2012
| [[Datei:Silvio Micali IMG 0459.jpg|90px|Silvio Micali]]
| [[Silvio Micali]]<br /> (* 1954, {{USA|#}})
| rowspan="2" | Für die Schaffung der komplexitätstheoretischen Grundlagen der Kryptographie und damit Wegbereitung für neue Methoden zur effizienten Verifikation mathematischer Beweise in der Komplexitätstheorie
|[[Massachusetts Institute of Technology]]
| [http://amturing.acm.org/vp/micali_9954407.cfm Proof According to Silvio]<br /><small>(Flash)</small>
|-
| [[Datei:Shafi Goldwasser.JPG|90px|Shafi Goldwasser]]
| [[Shafi Goldwasser]]<br /> (* 1958, {{USA|#}})
|[[Massachusetts Institute of Technology]], [[Weizmann-Institut für Wissenschaften]]
| [http://amturing.acm.org/vp/goldwasser_8627889.cfm The Cryptographic Lens]<br /><small>(Flash)</small>
|- style="vertical-align:top"
| 2013
| [[Datei:Leslie Lamport.jpg|90px|Leslie Lamport]]
| [[Leslie Lamport]]<br /> (* 1941, {{USA|#}})
| Für grundlegende Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme
|Massachusetts Computer Associates, [[SRI International]], [[Digital Equipment Corporation|DEC]], [[Compaq]], [[Microsoft Research]]
| [https://dl.acm.org/doi/10.1145/1283920.2675708 An Incomplete History of Concurrency]<br /><small>(Video)</small>
|- style="vertical-align:top"
| 2014
| [[Datei:Michael Stonebraker 1.jpg|90px|Michael Stonebraker]]
| [[Michael Stonebraker]]<br /> (* 1943, {{USA|#}})
| Für Beiträge zu Konzepten und Verfahren, die modernen Datenbanksystemen zugrunde liegen
|[[University of California, Berkeley]], [[Massachusetts Institute of Technology]]
| [http://amturing.acm.org/vp/stonebraker_1172121.cfm Postgres]<br /><small>(Flash)</small>
|- style="vertical-align:top"
| rowspan="2"| 2015
| [[Datei:Whitfield Diffie.png|90px|Whitfield Diffie]]
| [[Whitfield Diffie]]<br /> (* 1944, {{USA|#}})
| rowspan="2"| Für herausragende Beiträge zur modernen Kryptografie
|[[Stanford University]]
| [https://dl.acm.org/ft_gateway.cfm?id=2949031&type=pdf The Evolving Meaning of Information Security] (PDF-Datei; 732,9 kB)
|- style="vertical-align:top"
| [[Datei:Martin-Hellman.jpg|90px|Martin E. Hellmann]]
| [[Martin E. Hellman]]<br /> (* 1945, {{USA|#}})
|[[Stanford University]]
|[https://www.youtube.com/watch?v=umVSICLdrhM Learning with Finite Memory] <small>(YouTube-Video)</small>
|- style="vertical-align:top"
| 2016
| [[Datei:Sir Tim Berners-Lee (cropped).jpg|90px|Sir Tim Berners-Lee]]
| [[Tim Berners-Lee]]<br /> (* 1955, {{GBR|#}})
| Für [[World Wide Web]], ersten [[Webbrowser]] und grundlegende Protokolle und Algorithmen, die das Web skalieren lassen
|[[CERN]], [[Massachusetts Institute of Technology]], [[World Wide Web Consortium]]
| [https://amturing.acm.org/vp/berners-lee_8087960.cfm The World Wide Web]<br /><small>(YouTube-Video)</small>
|- style="vertical-align:top"
| rowspan="2"| 2017
| [[Datei:John L Hennessy.jpg|90px|John L. Hennessy]]
| [[John L. Hennessy]]<br /> (* 1952, {{USA|#}})
| rowspan="2"| Für neuartige Herangehensweisen an Entwurf und Bewertung von Computerarchitekturen mit dauerhaften Auswirkungen auf die Mikroprozessor-Industrie.
|[[Stanford University]]
| rowspan="2" | [https://amturing.acm.org/vp/patterson_2316693.cfm A Golden Age for Computer Architecture]<br /><small>(YouTube-Video)</small>
|-
| [[Datei:David A Patterson.jpg|90px|David A. Patterson]]
| [[David A. Patterson]]<br /> (* 1947, {{USA|#}})
|[[University of California, Berkeley]]
|- style="vertical-align:top"
| rowspan="3"| 2018
| [[Datei:Yoshua Bengio, October 27, 2016.jpg|90px|Yoshua Bengio]]
| [[Yoshua Bengio]]<br /> (* 1964, {{CAN|#}}, geboren in {{FRA|#}})
| rowspan="3"| Für neuronale Netzwerke und [[Deep Learning]].
|[[Universität Montreal|Université de Montréal]], [[McGill University]], Mila - Quebec AI Institute
|
|- style="vertical-align:top"
| [[Datei:Geoffrey Hinton at UBC.jpg|90px|Geoffrey Hinton]]
| [[Geoffrey Hinton]]<br /> (* 1947, {{GBR|#}})
|[[University of Toronto]], [[University of California, San Diego]], [[Carnegie Mellon University]], [[University College London]], [[University of Edinburgh]], [[Google AI]]
|
|- style="vertical-align:top"
| [[Datei:Yann LeCun at the University of Minnesota.jpg|90px|Yann LeCun]]
| [[Yann LeCun]]<br /> (* 1960, {{FRA|#}})
| [[University of Toronto]], [[Bell Labs]], [[Courant Institute of Mathematical Sciences of New York University|Courant Institute of Mathematical Sciences]], [[New York University]], [[Meta Inc|Meta]] AI
|[https://www.youtube.com/watch?v=VsnQf7exv5I The Deep Learning Revolution] <small>(YouTube-Video)</small>
|- style="vertical-align:top"
| rowspan="2"| 2019
| [[Datei:VES Awards 89 cropped.jpg|90px|Edwin Catmull]]
| [[Edwin Catmull]]<br /> (* 1945, {{USA|#}})
| rowspan="2"| Für grundlegende Beiträge zur [[3D-Computergrafik]] und den Einfluss dieser Techniken auf [[Computer Generated Imagery|computergenerierte Bilder]] (CGI) beim Filmemachen und anderen Anwendungen.
| [[University of Utah]], [[Pixar]], [[Walt Disney Animation Studios]]
|
|- style="vertical-align:top"
| [[Datei:Pat Hanrahan Tableau Customer Conference 2009.jpg|90px|Pat Hanrahan]]
| [[Pat Hanrahan]]<br /> (* 1955, {{USA|#}})
| [[Pixar]], [[Princeton University]], [[Stanford University]]
|
|- style="vertical-align:top"
| rowspan="2" |2020
|
| [[Alfred V. Aho]]<br /> (* 1945, {{CAN|#}})
| rowspan="2" |Für grundlegende Algorithmen und [[Theoretische Informatik|Theorien]], die der Implementierung von Programmiersprachen zugrunde liegen, und für die Synthese dieser und Ergebnisse anderer in ihren einflussreichen Büchern, mit denen Generationen von Informatikern ausgebildet wurden.
| [[Bell Labs]], [[Columbia University]]
|
|-
|
| [[Jeffrey Ullman]]<br /> (* 1942, {{USA|#}})
| [[Bell Labs]], [[Princeton University]], [[Stanford University]]
|
|-
| 2021
| [[Datei:JackDongarra.jpg|90px]]
| [[Jack Dongarra]]<br /> (* 1950, {{USA|#}})
| Für Beiträge zu numerischen Algorithmen und Bibliotheken, die bei Hochleistungs-Computersoftware zu einer ebenso exponentiellen Verbesserung führte, wie bei der Hardware.
| [[Argonne National Laboratory]], [[Oak Ridge National Laboratory]], [[University of Manchester]], [[Texas A&M University]], [[Institute for Advanced Study]], [[University of Tennessee]], [[Rice University]]
|
|-
| 2022
| [[Datei:With Bob Metcalfe (cropped).jpg|90px|Robert Metcalfe]]
| [[Robert Metcalfe]]<br /> (* 1946, {{USA|#}})
| Für die Erfindung, Standardisierung und Kommerzialisierung von [[Ethernet]].
| [[Massachusetts Institute of Technology]], [[Harvard University]], [[Xerox PARC]], [[University of Texas at Austin]]
|
|-
| 2023
| [[Datei:Avi Wigderson (London 2012) Cropped.jpg|90px]]
| [[Avi Wigderson]]<br /> (* 1956, {{ISR|#}})
| Für grundlegende Beiträge zur [[Berechnungstheorie]], einschließlich der Neugestaltung unseres Verständnisses der Rolle des Zufalls in der Berechnung, und für seine jahrzehntelange intellektuelle Führung in der theoretischen Informatik.
| Mathefakultät am [[Institute for Advanced Study]], [[Princeton University]], [[Hebräische Universität Jerusalem]]
|
|-
| rowspan="2" |2024
|
| [[Andrew Barto]]<br /> (um 1948, {{USA|#}})
| rowspan="2" |Für die Entwicklung der konzeptionellen und algorithmischen Grundlagen des [[Bestärkendes Lernen|bestärkenden Lernens]].
| [[University of Massachusetts]], Amherst
|
|-
| [[Datei:Richard Sutton, October 27, 2016.jpg|90px]]
| [[Richard Sutton]]<br /> ({{CAN|#}})
| [[University of Alberta]]
|
|-
| rowspan="2" |2025
| [[Datei:Dr. Charles Bennett IBM Fellow.jpg|90px]]
| [[Charles H. Bennett (Physiker)|Charles H. Bennett]]<br /> (* 1943, {{USA|#}})
| rowspan="2" |Für grundlegende Beiträge zur [[Quanteninformatik]]
| IBM Research ([[Thomas J. Watson Research Center]])
|
|-
| [[Datei:Gilles Brassard (2019).jpg|90px]]
| [[Gilles Brassard]]<br /> (* 1955, {{CAN|#}})
| [[Universität Montreal]]
|
|}

== Turing Centenary Celebration ==
Im Juni 2012, 100 Jahre nach Alan Turings Geburt, trafen sich 33 Träger des Turing Awards zur ''ACM Turing Centenary Celebration'' in [[San Francisco]], um sich in Vorträgen und Podiumsdiskussionen zu Themen wie ''Information, Data, Security in a Networked Future'' oder ''An Algorithmic View of the Universe'' auszutauschen.

== Weblinks ==
{{Commonscat}}
* [https://amturing.acm.org/ A. M. Turing Award] bei der ACM (englisch)
* [https://turing100.acm.org/ Turing Centenary Celebration] (englisch)

[[Kategorie:Turing Award| ]]
[[Kategorie:Auszeichnung der Association for Computing Machinery]]
[[Kategorie:Alan Turing als Namensgeber]]
[[Kategorie:Erstverleihung 1966]]
[[Kategorie:Bildtafel]]