Turing Award

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

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 Worte) 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. 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 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ünstlicher Intelligenz befassten).

Rund zwei Drittel der Awards gingen an US-amerikanische Staatsbürger.

JahrBildPersonLeistungEinrichtung(en), an denen die Leistung erbracht wurde und/oder auf diese vorbereitetenTuring Award Lecture
1966Alan J. Perlis
(1922–1990, Vereinigte StaatenVereinigte Staaten)
Für fortgeschrittene Programmiertechniken und CompilerbauCarnegie Mellon UniversityThe Synthesis of Algorithmic Systems
1967Maurice V. WilkesMaurice V. Wilkes
(1913–2010, Vereinigtes KonigreichVereinigtes Königreich)
Für den Bau des EDSAC, des ersten Computers mit intern gespeicherten Programmen, sowie zusammen mit David Wheeler und Stanley Gill die effektive Einführung von Programmbibliotheken mit dem Werk Preparation of Programs for Electronic Digital ComputersUniversity of CambridgeComputers Then and Now
1968Richard Hamming
(1915–1998, Vereinigte StaatenVereinigte Staaten)
Für Numerische Methoden, code-erzeugende Systeme, fehlererkennende und fehlerkorrigierende CodesBell LaboratoriesOne Man's View of Computer Science
1969Marvin MinskyMarvin Minsky
(1927–2016, Vereinigte StaatenVereinigte Staaten)
Für Künstliche IntelligenzMassachusetts Institute of TechnologyForm and Content in Computer Science
1970James H. Wilkinson
(1919–1986, Vereinigtes KonigreichVereinigtes Königreich)
Für Numerische Mathematik, lineare Algebra, „Rückwärts“-FehleranalyseNational Physical LaboratorySome Comments from a Numerical Analyst
1971John McCarthyJohn McCarthy
(1927–2011, Vereinigte StaatenVereinigte Staaten)
Für Künstliche IntelligenzStanford UniversityGenerality in Artificial Intelligence
(veröffentlicht in überarbeiteter Form 1986)
1972Edsger W. DijkstraEdsger W. Dijkstra
(1930–2002, NiederlandeNiederlande)
Für Technik und Begrifflichkeit der ProgrammiersprachenCentrum Wiskunde & Informatica, Technische Universität Eindhoven, University of Texas at AustinThe Humble Programmer
1973Charles BachmanCharles Bachman
(1924–2017, Vereinigte StaatenVereinigte Staaten)
Für DatenbanktechnikenGeneral Electric Research Laboratory (gehört nun zu Bull)The Programmer as Navigator
1974Donald E. KnuthDonald E. Knuth
(* 1938, Vereinigte StaatenVereinigte Staaten)
Für Analyse von Algorithmen und Entwurf von Programmiersprachen, insbesondere die Beiträge zur Programmierkunst in The Art of Computer ProgrammingCalifornia Institute of Technology, Institute for Defense Analyses, Stanford UniversityComputer Programming as an Art
1975Allen Newell
(1927–1992, Vereinigte StaatenVereinigte Staaten)
Für Künstliche Intelligenz, Psychologie menschlicher Erkenntnis, Listenverarbeitung (ursprünglich zusammen mit John Clifford Shaw)RAND CorporationComputer Science as Empirical Inquiry: Symbols and Search
Herbert SimonHerbert A. Simon
(1916–2001, Vereinigte StaatenVereinigte Staaten)
Carnegie Mellon University
1976Michael O. RabinMichael O. Rabin
(* 1931, Israel)
Für nichtdeterministische Automaten (eingeführt im Paper Finite Automata and Their Decision Problem)Princeton UniversityComplexity of Computations
Dana ScottDana Scott
(* 1932, Vereinigte StaatenVereinigte Staaten)
University of ChicagoLogic and Programming Languages
1977John W. BackusJohn W. Backus
(1924–2007, Vereinigte StaatenVereinigte Staaten)
Für höhere Programmiersprachen (insbesondere Fortran), formale Verfahren zur Spezifikation von ProgrammiersprachenIBMCan Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs, PDF-Datei
1978Robert Floyd
(1936–2001, Vereinigte StaatenVereinigte Staaten)
Für Methoden zur Erzeugung von effizienten und zuverlässigen Programmen, und Hilfe zur Begründung der Informatik-Unterfelder Parsertheorie, Programmiersprachensemantik, automatische Programmverifizierung und -synthese sowie AlgorithmenanalyseCarnegie Mellon University, Stanford UniversityThe Paradigms of Programming
1979
Ken Iverson
(c) Rob Hodgkinson, CC BY-SA 4.0
Kenneth E. Iverson
(1920–2004, Kanada)
Für Programmiersprachen und mathematische Notation, Implementierung interaktiver Systeme, Nutzung von APL in der Ausbildung, sowie Beiträge zur Theorie und Praxis der ProgrammiersprachenIBMNotation as a Tool of Thought
1980Tony HoareTony Hoare
(* 1934, Vereinigtes KonigreichVereinigtes Königreich)
Für die Definition und Design von ProgrammiersprachenQueen's University Belfast, University of OxfordThe Emperor's Old Clothes
1981Edgar F. Codd
(1923–2003, Vereinigtes KonigreichVereinigtes Königreich)
Für die Theorie und Praxis der Datenbankmanagementsysteme, speziell Relationale Datenbanken, 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 legteIBMRelational Database: A Practical Foundation for Productivity
1982Stephen A. CookStephen A. Cook
(* 1939, Vereinigte StaatenVereinigte Staaten)
Für die Komplexitätstheorie, insbesondere die im Paper The Complexity of Theorem Proving Procedures begründete Theorie der NP-VollständigkeitUniversity of TorontoAn Overview of Computational Complexity (Memento vom 17. Januar 2006 im Internet Archive) (PDF-Datei; 969 kB)
1983Ken ThompsonKen Thompson
(* 1943, Vereinigte StaatenVereinigte Staaten)
Für grundlegende Betriebssystemtheorie, Implementierung von UnixBell LaboratoriesReflections on Trusting Trust
Dennis RitchieDennis Ritchie
(1941–2011, Vereinigte StaatenVereinigte Staaten)
Bell LaboratoriesReflections on Software Research
1984Niklaus WirthNiklaus Wirth
(1934–2024, Schweiz)
Für die Entwicklung mehrerer Programmiersprachen: Euler, Algol W, Modula und insbesondere PascalStanford University, Universität Zürich,

ETH Zürich

From Programming Language Design to Computer Construction
1985Richard M. KarpRichard M. Karp
(* 1935, Vereinigte StaatenVereinigte Staaten)
Für die Algorithmentheorie, insbesondere die Entwicklung effizienter Algorithmen für den Netzwerkfluss und andere kombinatorische Optimierungsprobleme, die Identifikation der Berechenbarkeit in Polynomialzeit und Beiträge zur Theorie der NP-Vollständigkeit, wo er eine Methodik zu deren Nachweis entwickelt hatUniversity of California, BerkeleyCombinatorics, Complexity, and Randomness (Memento vom 17. Januar 2006 im Internet Archive) (PDF-Datei; 1,22 MB)
1986John E. HopcroftJohn E. Hopcroft
(* 1939, Vereinigte StaatenVereinigte Staaten)
Für Design und Analyse von Algorithmen und DatenstrukturenCornell UniversityComputer Science: The Emergence Of A Discipline (PDF-Datei; 494 kB)
Robert TarjanRobert Tarjan
(* 1948, Vereinigte StaatenVereinigte Staaten)
Stanford University, Cornell University, University of California, Berkeley, Princeton UniversityAlgorithm Design (PDF-Datei; 944 kB)
1987John Cocke
(1925–2002, Vereinigte StaatenVereinigte Staaten)
Für die Compilertheorie und -design, Architektur großer Systeme, Entwurf der 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 KonstantenausbreitungIBMThe Search For Performance In Scientific Processors (PDF-Datei; 402 kB)
1988Ivan SutherlandIvan Sutherland
(* 1938, Vereinigte StaatenVereinigte Staaten)
Für die Computergrafik, angefangen mit der Entwicklung von Sketchpad, das viele wichtige Techniken einführte, später auch die Entwicklung eines Lorgnons zur Betrachtung von Stereobildern, und eleganter Algorithmen zur Registrierung digitalisierter Ansichten, Polygon-Clipping und Oberflächenrepräsentation mit überdeckten LinienStanford University, Harvard University, University of Utah, California Institute of TechnologyMicropipelines (PDF-Datei; 3,01 MB)
1989William KahanWilliam Kahan
(* 1933, Kanada)
Für Numerische Mathematik, insbesondere Gleitkommaberechnungen, mit der Entwicklung und Propagierung der Standards IEEE 754 und IEEE 854University of California, Berkeley
1990Fernando José CorbatóFernando José Corbató
(1926–2019, Vereinigte StaatenVereinigte Staaten)
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 AbstraktionMassachusetts Institute of TechnologyOn Building Systems That Will Fail (PDF-Datei; 997 kB)
1991Robin Milner
(1934–2010, Vereinigtes KonigreichVereinigtes Königreich)
  • LCF, der wohl erste theoretisch fundierte und praktisch einsetzbare Theorembeweiser
  • ML, die erste Programmiersprache mit polymorpher Typinferenz und typensicherem Exception-Handling
  • CCS, eine generelle Theorie der Nebenläufigkeit
Stanford University,

University of Edinburgh

Elements of Interaction (PDF-Datei; 1,38 MB)
1992Butler LampsonButler Lampson
(* 1943, Vereinigte StaatenVereinigte Staaten)
Für verteilte, personalisierte Computerumgebungen (nach dem Paradigma Personalcomputer/LAN/Server statt Terminal/Mainframe) und die Technologie für deren Umsetzung: Workstations, Netzwerke, Betriebssysteme, Displays, Sicherheit und Dokumenten-PublishingPARC, DECPrinciples for Computer System Design
(DOC, PDF, HTML)
1993Juris HartmanisJuris Hartmanis
(1928–2022, Vereinigte StaatenVereinigte Staaten)
Für die Begründung der Komplexitätstheorie mit dem Paper On the Computational Complexity of AlgorithmsGeneral Electric Research Laboratory (gehört nun zu Bull)On Computational Complexity and the Nature of Computer Science
Richard E. StearnsRichard E. Stearns
(* 1936, Vereinigte StaatenVereinigte Staaten)
General Electric Research Laboratory (gehört nun zu Bull)It's Time to Reconsider Time (PDF-Datei; 736 kB)
1994Edward FeigenbaumEdward Feigenbaum
(* 1936, Vereinigte StaatenVereinigte Staaten)
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 UniversityHow the “What” Becomes the “How” (PDF-Datei; 322 kB)
Raj ReddyRaj Reddy
(* 1937, Vereinigte StaatenVereinigte Staaten)
Stanford University, Carnegie Mellon UniversityTo Dream The Possible Dream (PDF-Datei; 207 kB)
1995Manuel BlumManuel Blum
(* 1938, Venezuela)
Für die Komplexitätstheorie und deren Anwendung in der Kryptographie und ProgrammprüfungUniversity of California, Berkeley
1996Amir PnueliAmir Pnueli
(1941–2009, Israel)
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 SciencesVerification Engineering: A Future Profession (GZIP; 70 kB)
(PostScript)
1997Douglas C. EngelbartDouglas C. Engelbart
(1925–2013, Vereinigte StaatenVereinigte Staaten)
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 InstituteCollective IQ and a framework for bootstrapping our society
1998Jim GrayJim Gray
(1944–2012, Vereinigte StaatenVereinigte Staaten)
Für Datenbanken und Transaktionsverarbeitung, und technische Führerschaft in der Systemimplementation von Prototypen zu kommerziellen ProduktenIBM, MicrosoftWhat Next? A Few Remaining Problems in Information Technology (PDF-Datei; 2,71 MB)
1999Frederick P. BrooksFrederick P. Brooks
(1931–2022 Vereinigte StaatenVereinigte Staaten)
Für Rechnerarchitektur, Betriebssysteme, Software-EngineeringIBM, University of North Carolina at Chapel HillThe Design of Design (Memento vom 23. Juni 2007 im Internet Archive)
(WMV)
2000Andrew YaoAndrew Yao
(* 1946, China Volksrepublik)
Für die Berechenbarkeitstheorie, insbesondere die komplexitätsbasierte Theorie der Pseudozufallszahlenerzeugung, der Kryptographie und KommunikationskomplexitätStanford University, University of California, Berkeley, Princeton University
2001Ole-Johan Dahl
(1931–2002, Norwegen)
Für das Aufkommen der objektorientierten Programmierung fundamentale Ideen durch das Design der Simula-Programmiersprachen, die Konzepte wie Objekte, Klassen und Vererbung einführtenThe Development of the Key Object-Oriented Concepts
(Der Vortrag wurde nicht gehalten, da beide Preisträger zuvor verstarben)
Kristen NygaardKristen Nygaard
(1926–2002, Norwegen)
Norsk Regnesentral, Universität Oslo
2002Ronald L. RivestRonald L. Rivest
(* 1947, Vereinigte StaatenVereinigte Staaten)
Für Asymmetrische Verschlüsselungsalgorithmen, speziell RSA, und deren praktische EinsetzbarkeitMassachusetts Institute of TechnologyThe Early Days of RSA – History and Lessons
(HTML-Slides, QuickTime, Shockwave, MP3)
Adi ShamirAdi Shamir
(* 1952, Israel)
Massachusetts Institute of TechnologyCryptography: State Of The Science
(HTML-Slides, QuickTime, Shockwave, MP3)
Leonard AdlemanLeonard Adleman
(* 1945, Vereinigte StaatenVereinigte Staaten)
University of Southern CaliforniaPre-RSA
(HTML-Slides, QuickTime, Shockwave, MP3)
2003Alan KayAlan Kay
(* 1940, Vereinigte StaatenVereinigte Staaten)
Für Grundideen moderner objektorientierter Programmiersprachen mit der Entwicklung von Smalltalk und deren grafischer Entwicklungsumgebung, sowie die Integration von deren Konzept in den Xerox Alto und das Dynabook und damit Beiträge zum Personal ComputingUniversity of Utah, PARC, Stanford University, Atari, Apple Advanced Technology Group, Walt Disney Imagineering, Viewpoints Research Institute, HP Inc. LabsThe Computer Revolution Hasn't Happened Yet (MOV-Datei; 0 kB)
(QuickTime)
2004Vinton G. CerfVinton G. Cerf
(* 1943, Vereinigte StaatenVereinigte Staaten)
Für Pionierarbeit auf dem Feld des Internetworking, insbesondere Entwicklung von TCP/IPUniversity of California, Los Angeles, Stanford University, DARPA, MCI Communications, CNRI, Google(keine, stattdessen eine Podiumsdiskussion; MOV-Datei; 0 kB)
(QuickTime)
Robert E. KahnRobert E. Kahn
(* 1938, Vereinigte StaatenVereinigte Staaten)
Massachusetts Institute of Technology, Bolt Beranek and Newman, DARPA, CNRI
2005Peter NaurPeter Naur
(1928–2016, Danemark)
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 KopenhagenComputing vs. Human Thinking (MOV-Datei; 0 kB)
(QuickTime)
2006Frances E. AllenFrances E. Allen
(1932–2020, Vereinigte StaatenVereinigte Staaten)
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)IBMCompiling for Performance – A Personal Tour (MOV-Datei; 0 kB)
(QuickTime)
2007Edmund M. ClarkeEdmund M. Clarke
(1945–2020, Vereinigte StaatenVereinigte Staaten)
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 VerifizierungstechnikHarvard University, Carnegie Mellon UniversityModel Checking – My 27 year quest to overcome the State Explosion problem (MOV-Datei; 0 kB)
(QuickTime, später in überarbeiteter Form mit den anderen beiden wiederveröffentlicht)
Allen EmersonE. Allen Emerson
(* 1954, Vereinigte StaatenVereinigte Staaten)
Harvard University, University of Texas at AustinModel Checking: A Bird’s-Eye View (MOV-Datei; 0 kB)
(QuickTime, später in überarbeiteter Form mit den anderen beiden wiederveröffentlicht)
Joseph SifakisJoseph Sifakis
(* 1946, Griechenland)
Centre national de la recherche scientifiqueThe Quest for Correctness – Beyond Verification
(PDF, QuickTime (MOV-Datei; 0 kB); später in überarbeiteter Form mit den anderen beiden wiederveröffentlicht)
2008Barbara LiskovBarbara Liskov
(* 1939, Vereinigte StaatenVereinigte Staaten)
Für Beiträge zu Programmiersprachen- und Betriebssystemdesign, insbesondere im Zusammenhang mit Datenabstraktion, Modularität, Fehlertoleranz, Persistenz und verteiltem RechnenMassachusetts Institute of TechnologyThe Power of Abstraction
2009Charles P. ThackerCharles P. Thacker
(1943–2017, Vereinigte StaatenVereinigte Staaten)
Für Pionierarbeit am Design und der Umsetzung des Alto, dem ersten Personal Computer mit grafischer Benutzeroberfläche, und Beiträge zur Entwicklung von Ethernet und Tablet-PCsPARC, DEC, Microsoft ResearchImproving the Future by Examining the Past
2010Leslie ValiantLeslie Valiant
(* 1949, Vereinigtes KonigreichVereinigtes Königreich)
Für maßgebliche Beiträge zur Komplexitätstheorie, insbesondere der Computational learning theory (mit der Einführung des PAC-Modells), der Aufzählungs- und algebraischen Berechnungskomplexität und der Theorie parallelen und verteilten RechnensHarvard UniversityThe Extent and the Limitations of Mechanistic Explanations of Nature
(Flash)
2011Judea PearlJudea Pearl
(* 1936, Vereinigte StaatenVereinigte Staaten)
Für grundlegende Beiträge zur künstlichen Intelligenz durch die Entwicklung eines Kalküls für probabilistisches und kausalistisches SchließenUniversity of California, Los Angeles, New Jersey Institute of TechnologyThe Mechanization of Causal Inference: A "mini" Turing Test And Beyond
(Flash)
2012Silvio MicaliSilvio Micali
(* 1954, Vereinigte StaatenVereinigte Staaten)
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ätstheorieMassachusetts Institute of TechnologyProof According to Silvio
(Flash)
Shafi GoldwasserShafi Goldwasser
(* 1958, Vereinigte StaatenVereinigte Staaten)
Massachusetts Institute of Technology, Weizmann-Institut für WissenschaftenThe Cryptographic Lens
(Flash)
2013Leslie LamportLeslie Lamport
(* 1941, Vereinigte StaatenVereinigte Staaten)
Für grundlegende Beiträge zur Theorie und Praxis verteilter und nebenläufiger SystemeMassachusetts Computer Associates, SRI International, DEC, Compaq, Microsoft ResearchAn Incomplete History of Concurrency
(Video)
2014Michael StonebrakerMichael Stonebraker
(* 1943, Vereinigte StaatenVereinigte Staaten)
Für Beiträge zu Konzepten und Verfahren, die modernen Datenbanksystemen zugrunde liegenUniversity of California, Berkeley, Massachusetts Institute of TechnologyPostgres
(Flash)
2015Whitfield DiffieWhitfield Diffie
(* 1944, Vereinigte StaatenVereinigte Staaten)
Für herausragende Beiträge zur modernen KryptografieStanford UniversityThe Evolving Meaning of Information Security (PDF-Datei; 732,9 kB)
Martin E. HellmannMartin E. Hellman
(* 1945, Vereinigte StaatenVereinigte Staaten)
Stanford UniversityLearning with Finite Memory (YouTube-Video)
2016Sir Tim Berners-LeeTim Berners-Lee
(* 1955, Vereinigtes KonigreichVereinigtes Königreich)
Für World Wide Web, ersten Webbrowser und grundlegende Protokolle und Algorithmen, die das Web skalieren lassenCERN, Massachusetts Institute of Technology, World Wide Web ConsortiumThe World Wide Web
(YouTube-Video)
2017John L. HennessyJohn L. Hennessy
(* 1952, Vereinigte StaatenVereinigte Staaten)
Für neuartige Herangehensweisen an Entwurf und Bewertung von Computerarchitekturen mit dauerhaften Auswirkungen auf die Mikroprozessor-Industrie.Stanford UniversityA Golden Age for Computer Architecture
(YouTube-Video)
David A. PattersonDavid A. Patterson
(* 1947, Vereinigte StaatenVereinigte Staaten)
University of California, Berkeley
2018Yoshua BengioYoshua Bengio
(* 1964, Kanada, geboren in FrankreichFrankreich)
Für neuronale Netzwerke und Deep Learning.Université de Montréal, McGill University, Mila - Quebec AI Institute
Geoffrey HintonGeoffrey Hinton
(* 1947, Vereinigtes KonigreichVereinigtes Königreich)
University of Toronto, University of California, San Diego, Carnegie Mellon University, University College London, University of Edinburgh, Google AI
Yann LeCunYann LeCun
(* 1960, FrankreichFrankreich)
University of Toronto, Bell Labs, Courant Institute of Mathematical Sciences, New York University, Meta AIThe Deep Learning Revolution (YouTube-Video)
2019Edwin CatmullEdwin Catmull
(* 1945, Vereinigte StaatenVereinigte Staaten)
Für grundlegende Beiträge zur 3D-Computergrafik und den Einfluss dieser Techniken auf computergenerierte Bilder (CGI) beim Filmemachen und anderen Anwendungen.University of Utah, Pixar, Walt Disney Animation Studios
Pat HanrahanPat Hanrahan
(* 1955, Vereinigte StaatenVereinigte Staaten)
Pixar, Princeton University, Stanford University
2020Alfred V. Aho
(* 1945, Kanada)
Für grundlegende Algorithmen und 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
(* 1942, Vereinigte StaatenVereinigte Staaten)
Bell Labs, Princeton University, Stanford University
2021Jack Dongarra
(* 1951, Vereinigte StaatenVereinigte Staaten)
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
2022Robert MetcalfeRobert Metcalfe
(* 1946, Vereinigte StaatenVereinigte Staaten)
Für die Erfindung, Standardisierung und Kommerzialisierung von Ethernet.Massachusetts Institute of Technology, Harvard University, Xerox PARC, University of Texas at Austin

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

Commons: Turing Award – Sammlung von Bildern, Videos und Audiodateien

Auf dieser Seite verwendete Medien

Flag of the United Kingdom.svg
Flagge des Vereinigten Königreichs in der Proportion 3:5, ausschließlich an Land verwendet. Auf See beträgt das richtige Verhältnis 1:2.
Flag of the United Kingdom (3-5).svg
Flagge des Vereinigten Königreichs in der Proportion 3:5, ausschließlich an Land verwendet. Auf See beträgt das richtige Verhältnis 1:2.
Flag of Canada (Pantone).svg
Flag of Canada introduced in 1965, using Pantone colors. This design replaced the Canadian Red Ensign design.
Flag of Switzerland within 2to3.svg
Die quadratische Nationalfahne der Schweiz, in transparentem rechteckigem (2:3) Feld.
Yoshua Bengio, October 27, 2016.jpg
Autor/Urheber: Steve Jurvetson from Menlo Park, USA, Lizenz: CC BY 2.0
Yoshua Bengio
Prof.Cook.jpg
Autor/Urheber:

Jiří Janíček

  • Pokud hodláte některou z mých fotografií použít mimo Wikipedii, budu rád, když mi o tom dáte vědět, a to např. prostřednictvím tohoto e-mailu. Děkuji.
  • If you are going to use a photograph of mine outside of Wikipedia, I would appreciate, if you let me know about that, e.g. using this e-mail. Thank you.
, Lizenz: CC BY-SA 3.0
Professor Cook at the Fall school of LOGIC & COMPLEXITY in Prague, September 24, 2008
Dick Stearns.jpg
Autor/Urheber: Richard Edwin Stearns, Lizenz: CC BY-SA 3.0
Richard Edwin Stearns in 2009, taken by his own camera
Len-mankin-pic.jpg
Autor/Urheber: len adlmen, Lizenz: CC BY-SA 3.0
Leonard Adleman
Martin-Hellman.jpg
Autor/Urheber: User .:Ajvol:. on en.wikipedia, Lizenz: CC BY-SA 3.0
مارتن هيلمان
Marvin Minsky at OLPCb.jpg
Autor/Urheber: Der ursprünglich hochladende Benutzer war Sethwoodworth in der Wikipedia auf Englisch, Lizenz: CC BY 3.0
Marvin Minsky was visiting the OLPC offices and picked up a Firefox wrist band.
Amir Pnueli.jpg
Autor/Urheber: David Monniaux, Lizenz: CC BY-SA 1.0
Pr Amir Pnueli, 1996 Turing Award laureate
Edsger Wybe Dijkstra.jpg
Autor/Urheber: Hamilton Richards, Lizenz: CC BY-SA 3.0
Portrait of en:Edsger W. Dijkstra, one of the greatest mathematicans in history of modern mathematics.
Joseph Sifakis img 0966.jpg
Autor/Urheber: David.Monniaux, Lizenz: CC BY-SA 3.0
Joseph Sifakis, 2007 Turing award recipient, during a reception in his honor organized by the Grenoble metropolitan community at the Stade des Alpes
Judea Pearl at NIPS 2013 (11781981594).jpg
Autor/Urheber: Better Than Bacon, Lizenz: CC BY 2.0
Judea Pearl at the 2013 Conference on Neural Information Processing Systems.
M O Rabin.jpg
Autor/Urheber: Konrad Jacobs, Erlangen, Copyright is MFO, Lizenz: CC BY-SA 2.0 de
Michael O. Rabin
Jim Gray Computing in the 21st Century 2006.jpg
Autor/Urheber: Microsoft Research, Lizenz: CC BY-SA 3.0 us
James N. Gray speaking at the Computing in the 21st Century conference in Beijing, October 2006.
Andrew Yao.jpg
Autor/Urheber: Schmid, Renate, Lizenz: CC BY-SA 2.0 de
Chinese computer scientist Andrew Yao in 2005.
Sir Tim Berners-Lee (cropped).jpg
Autor/Urheber: Paul Clarke , Lizenz: CC BY-SA 4.0
Sir Tim arriving at the Guildhall to receive the Honorary Freedom of the City of London
Edmund Clarke FLoC 2006.jpg
Autor/Urheber: Dennis Hamilton, Lizenz: CC BY 2.0
FLoC 2006: Edmund Clarke
Shafi Goldwasser.JPG
Shafrira Goldwasser (Hebrew: שפרירה גולדווסר; born 1958) is the RSA Professor of electrical engineering and computer science at MIT, and a professor of mathematical sciences at the Weizmann Institute of Science, Israel
John L Hennessy.jpg
Autor/Urheber: Eric Chan, Lizenz: CC BY 2.0

John L. Hennessy, 10th president (since October 2000) of Leland Stanford Junior University in Stanford, California, United States of America.

This photo shows him giving a speech at Stanford University's commencement on 2007-06-17 in Stanford Stadium. The author of this photo is Eric Chan who uses the Flickr username maveric2003.
John McCarthy Stanford.jpg
Autor/Urheber: "null0", Lizenz: CC BY-SA 2.0
جون مكارثي، عالم حاسوب أمريكي.
With Bob Metcalfe (cropped).jpg
Autor/Urheber: Andreu Veà, WiWiW.org, Lizenz: CC BY-SA 3.0
during his personal interview to record his voice at his home in Boston
Ken Thompson 02.jpg
Unix creator Ken Thompson
Scott Dana small.jpg
Autor/Urheber: Andrej Bauer, Lizenz: CC BY-SA 2.5 si
دانا سكوت في جامعة كارنيجي ميلون في بيتسبرغ.
David A Patterson.jpg
Autor/Urheber: Peg Skorpinski, Lizenz: CC BY-SA 3.0
ديفيد باترسون
John Backus.jpg
Autor/Urheber: PIerre.Lescanne, Lizenz: CC BY-SA 4.0
Picture of the computer scientist John Backus
Vint Cerf, Bangalore 2007 2.jpg
Autor/Urheber: Charles Haynes, Lizenz: CC BY-SA 2.0
Vint Cerf, North American computer scientist who is commonly referred to as one of the "founding fathers of the Internet" for his key technical and managerial role, together with Bob Kahn, in the creation of the Internet and the TCP/IP protocols which it uses. Taken at a conference in Bangalore.
Adi Shamir 2009 crop.jpg
Autor/Urheber: Ira Abramov from Even Yehuda, Israel, Lizenz: CC BY-SA 2.0
AntiBiometrics-7978
Peternaur.JPG
Autor/Urheber: Der ursprünglich hochladende Benutzer war Eriktj in der Wikipedia auf Englisch, Lizenz: CC BY-SA 3.0
Peter Naur.
Blum manuel lenore avrim.jpg
Autor/Urheber: George Bergman , Lizenz: GFDL 1.2
Manuel Blum (left), Lenore Blum, Avrim Blum, Berkeley 1973
JackDongarra.jpg
Autor/Urheber: University of Tennessee, Knoxville, Lizenz: CC BY-SA 3.0
Jack Dongarra, American professor of computer science
KnuthAtOpenContentAlliance.jpg
Autor/Urheber: Flickr user Jacob Appelbaum, uploaded to en.wikipedia by users BeSherman, Duozmo, Lizenz: CC BY-SA 2.5
Donald Knuth at a reception for the Open Content Alliance, hosted by the Internet Archive.
Taken October 25, 2005 by Jacob Appelbaum in San Francisco.
Allen mg 2528-3750K-b.jpg
Autor/Urheber: Rama, Lizenz: CC BY-SA 2.0 fr
Frances E. Allen receiving the Erna Hamburger Distinguished Lecture Award at the EPFL
Michael Stonebraker 1.jpg
Autor/Urheber: Dcoetzee, Lizenz: CC0
Computer science researcher Michael Stonebraker about to give a talk at the University of California, Berkeley (306 Soda Hall, HP Auditorium) on "Task-specific Search".
Fernando Corbato.jpg
Autor/Urheber: Jason Dorfman, MIT CSAIL photographer, Lizenz: CC BY-SA 3.0
فرناندو كورباتو.
E-allen-emerson.jpg
Autor/Urheber: Copyright E. Allen Emerson (the subject), Lizenz: CC BY-SA 4.0
E. Allen Emerson, computer scientist and emeritus professor at the University of Texas at Austin. Photo provided by the subject, personal communication to me (Caleb Stanford), and released by him under Creative Commons Attribution-ShareAlike 4.0 International directly via email to permissions-commons@wikimedia.org on August 30, 2022.
Leslie Lamport.jpg
Autor/Urheber: unknown, Lizenz: Copyrighted free use
Karp mg 7725-b.cr2.jpg
Autor/Urheber: Rama, Lizenz: CC BY-SA 2.0 fr
Richard Karp giving a talk at the EPFL on 13th of July 2009
Whitfield Diffie.png
Autor/Urheber: Der ursprünglich hochladende Benutzer war Matt Crypto in der Wikipedia auf Englisch, Lizenz: CC BY 2.0

en:Whitfield Diffie.

From en:Infosecpedia [1]:

This photo was provided by Mary Holzer from the en:Sun Microsystems Public Relations Department (April 2, 2004). The photo was provided in response to an email to en:Whitfield Diffie by Chris Brown that desribed the Infosecpedia project and which made a request for a photo that could be used under the Infosecpedia copyright (April 2, 2004).

The Infosecpedia copyright is the Creative Commons Attribution License (2.0).
Ivan Sutherland at CHM.jpg
Autor/Urheber: Dick Lyon, Lizenz: CC BY-SA 3.0
إيفان سذرلاند، في الاحتفال بعيد ميلاده السبعين في متحف تاريخ الحاسوب.
William Kahan.jpg
Autor/Urheber: George Bergman , Lizenz: GFDL 1.2
Foto di William Kahan
VES Awards 89 cropped.jpg
Autor/Urheber: , Lizenz: CC BY 2.0
إدوين كاتمول
Bob Tarjan.jpg
Autor/Urheber: Renatokeshet, Lizenz: GFDL
Bob Tarjan in 2010
Rivest cropped.jpg
Autor/Urheber: , Lizenz: CC BY-SA 3.0
Ron Rivest cropped
Yann LeCun at the University of Minnesota.jpg
Autor/Urheber: Runner1928, Lizenz: CC BY-SA 3.0
His talk "The Unreasonable Effectiveness of Deep Learning"
Frederick Brooks IMG 2279.jpg
Autor/Urheber: David.Monniaux, Lizenz: CC BY-SA 3.0
Fred Brooks, professor of computer engineering, speaking at the Turing centennial conference at Manchester
Dennis Ritchie.jpg
Autor/Urheber: Bojars, Lizenz: CC BY-SA 4.0
Unix creator Dennis Ritchie
Niklaus Wirth, UrGU.jpg
Autor/Urheber: Tyomitch, Lizenz: Copyrighted free use
Niklaus Wirth giving a lecture (photo taken on his visit to Ural State University)
Douglas Engelbart in 2008.jpg
Autor/Urheber: Alex Handy from Oakland, Nmibia, Lizenz: CC BY-SA 2.0
دوغلاس إنجيلبارت
Hopcrofg.jpg
Photo Of John Hopcroft, in SPbSU ITMO
ProfReddys Photo Cropped.jpg
Autor/Urheber: Vishnugsr, Lizenz: CC BY-SA 3.0
A photo of Prof Reddy has already been uploaded onto Wiki(http://en.wikipedia.org/wiki/File:Photo_of_Prof_Raj_Reddy_taken_in_Hyderabad.jpg). This is a cropped version of the same, as requested by Prof. Reddy. I intend to use this as the profile pic of Prof Reddy's Wikipedia page, http://en.wikipedia.org/wiki/Raj_Reddy
Pat Hanrahan Tableau Customer Conference 2009.jpg
Autor/Urheber: Francois Lamotte from Belgium, Lizenz: CC BY 2.0
بات هانراهان
Alan Kay (3097597186).jpg
Autor/Urheber: Marcin Wichary from San Francisco, U.S.A., Lizenz: CC BY 2.0
Alan Kay
Herbert Simon, RIT NandE Vol13Num11 1981 Mar19 Complete.jpg
From News and Events, a newsletter published by the Rochester Institute of Technology (RIT)
Leslie Valiant.jpg
Autor/Urheber: Schmid, Renate, Lizenz: CC BY-SA 2.0 de
Leslie Valiant, British-American computer scientist, at Oberwolfach.
Juris Hartmanis(2002).jpg
Autor/Urheber: Wolfgang Hunscher, Dortmund, Lizenz: CC BY-SA 3.0
جوريس هارتمانيس
Geoffrey Hinton at UBC.jpg
Autor/Urheber: Eviatar Bach, Lizenz: CC BY-SA 3.0
Geoffrey Hinton giving a lecture about deep neural networks at the University of British Columbia
Chuckthacker.jpg
Autor/Urheber: Marcin Wichary from San Francisco, U.S.A., Lizenz: CC BY 2.0
Charles (Chuck) Thacker, Mary Lou Jepsen
Hoare.jpg
C. A. R. Hoare
KEI with ATW NY Aug 1989 (cropped) - Ken Iverson.png
(c) Rob Hodgkinson, CC BY-SA 4.0
Kenneth E. Iverson. Permission granted by Rob Hodgkinson, who created the photo.
Kristen-Nygaard-SBLP-1997-head.png
Kristen Nygaard, inventor of the Simula programming language and object-oriented programming, at the Brazilian Symposium on Programming Languages (SBLP'97), Institute of Economics Auditorium entrance. Photo taken with a Pentax camera, scanned from a color print, cropped and color-adjusted.
Maurice Vincent Wilkes 1980 (3).jpg
Autor/Urheber: Autor/-in unbekanntUnknown author, Lizenz: CC BY 2.0 uk
M.V. Wilkes retirement, July 1980, Titan Room
Charles Bachman 2012.jpg
Autor/Urheber: , Lizenz: CC BY 2.0
تشارلز باتشمان في احتفال الذكرى المئوية لجائزة تورنغ لعام 2012.
Barbara Liskov computer scientist 2010.jpg
Autor/Urheber: Kenneth C. Zirkel, Lizenz: CC BY-SA 3.0
Barbara Liskov computer scientist in 2010
27. Dr. Edward A. Feigenbaum 1994-1997.jpg
Dr. Edward A. Feigenbaum, 27th Chief Scientist of the USAF, 1994-1997.