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.
Jahr | Bild | Person | Leistung | Einrichtung(en), an denen die Leistung erbracht wurde und/oder auf diese vorbereiteten | Turing Award Lecture |
---|---|---|---|---|---|
1966 | Alan J. Perlis (1922–1990, ![]() | Für fortgeschrittene Programmiertechniken und Compilerbau | Carnegie Mellon University | The Synthesis of Algorithmic Systems | |
1967 | ![]() | Maurice V. Wilkes (1913–2010, ![]() | 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 Computers | University of Cambridge | Computers Then and Now |
1968 | Richard Hamming (1915–1998, ![]() | Für Numerische Methoden, code-erzeugende Systeme, fehlererkennende und fehlerkorrigierende Codes | Bell Laboratories | One Man's View of Computer Science | |
1969 | ![]() | Marvin Minsky (1927–2016, ![]() | Für Künstliche Intelligenz | Massachusetts Institute of Technology | Form and Content in Computer Science |
1970 | James H. Wilkinson (1919–1986, ![]() | Für Numerische Mathematik, lineare Algebra, „Rückwärts“-Fehleranalyse | National Physical Laboratory | Some Comments from a Numerical Analyst | |
1971 | ![]() | John McCarthy (1927–2011, ![]() | Für Künstliche Intelligenz | Stanford University | Generality in Artificial Intelligence (veröffentlicht in überarbeiteter Form 1986) |
1972 | ![]() | Edsger W. Dijkstra (1930–2002, ![]() | Für Technik und Begrifflichkeit der Programmiersprachen | Centrum Wiskunde & Informatica, Technische Universität Eindhoven, University of Texas at Austin | The Humble Programmer |
1973 | ![]() | Charles Bachman (1924–2017, ![]() | Für Datenbanktechniken | General Electric Research Laboratory (gehört nun zu Bull) | The Programmer as Navigator |
1974 | ![]() | Donald E. Knuth (* 1938, ![]() | Für Analyse von 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 | Computer Programming as an Art |
1975 | Allen Newell (1927–1992, ![]() | Für Künstliche Intelligenz, Psychologie menschlicher Erkenntnis, Listenverarbeitung (ursprünglich zusammen mit John Clifford Shaw) | RAND Corporation | Computer Science as Empirical Inquiry: Symbols and Search | |
![]() | Herbert A. Simon (1916–2001, ![]() | Carnegie Mellon University | |||
1976 | ![]() | Michael O. Rabin (* 1931, ![]() | Für nichtdeterministische Automaten (eingeführt im Paper Finite Automata and Their Decision Problem) | Princeton University | Complexity of Computations |
![]() | Dana Scott (* 1932, ![]() | University of Chicago | Logic and Programming Languages | ||
1977 | ![]() | John W. Backus (1924–2007, ![]() | Für höhere Programmiersprachen (insbesondere Fortran), formale Verfahren zur Spezifikation von Programmiersprachen | IBM | Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs, PDF-Datei |
1978 | Robert Floyd (1936–2001, ![]() | 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 Algorithmenanalyse | Carnegie Mellon University, Stanford University | The Paradigms of Programming | |
1979 | (c) Rob Hodgkinson, CC BY-SA 4.0 | Kenneth E. Iverson (1920–2004, ![]() | Für Programmiersprachen und mathematische Notation, Implementierung interaktiver Systeme, Nutzung von APL in der Ausbildung, sowie Beiträge zur Theorie und Praxis der Programmiersprachen | IBM | Notation as a Tool of Thought |
1980 | ![]() | Tony Hoare (* 1934, ![]() | Für die Definition und Design von Programmiersprachen | Queen's University Belfast, University of Oxford | The Emperor's Old Clothes |
1981 | Edgar F. Codd (1923–2003, ![]() | 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 legte | IBM | Relational Database: A Practical Foundation for Productivity | |
1982 | ![]() | Stephen A. Cook (* 1939, ![]() | 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 | An Overview of Computational Complexity (Memento vom 17. Januar 2006 im Internet Archive) (PDF-Datei; 969 kB) |
1983 | ![]() | Ken Thompson (* 1943, ![]() | Für grundlegende Betriebssystemtheorie, Implementierung von Unix | Bell Laboratories | Reflections on Trusting Trust |
![]() | Dennis Ritchie (1941–2011, ![]() | Bell Laboratories | Reflections on Software Research | ||
1984 | ![]() | Niklaus Wirth (1934–2024, ![]() | Für die Entwicklung mehrerer Programmiersprachen: Euler, Algol W, Modula und insbesondere Pascal | Stanford University, Universität Zürich, | From Programming Language Design to Computer Construction |
1985 | ![]() | Richard M. Karp (* 1935, ![]() | 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 hat | University of California, Berkeley | Combinatorics, Complexity, and Randomness (Memento vom 17. Januar 2006 im Internet Archive) (PDF-Datei; 1,22 MB) |
1986 | ![]() | John E. Hopcroft (* 1939, ![]() | Für Design und Analyse von Algorithmen und Datenstrukturen | Cornell University | Computer Science: The Emergence Of A Discipline (PDF-Datei; 494 kB) |
![]() | Robert Tarjan (* 1948, ![]() | Stanford University, Cornell University, University of California, Berkeley, Princeton University | Algorithm Design (PDF-Datei; 944 kB) | ||
1987 | John Cocke (1925–2002, ![]() | 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 Konstantenausbreitung | IBM | The Search For Performance In Scientific Processors (PDF-Datei; 402 kB) | |
1988 | ![]() | Ivan Sutherland (* 1938, ![]() | 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 Linien | Stanford University, Harvard University, University of Utah, California Institute of Technology | Micropipelines (PDF-Datei; 3,01 MB) |
1989 | ![]() | William Kahan (* 1933, ![]() | Für Numerische Mathematik, insbesondere Gleitkommaberechnungen, mit der Entwicklung und Propagierung der Standards IEEE 754 und IEEE 854 | University of California, Berkeley | |
1990 | ![]() | Fernando José Corbató (1926–2019, ![]() | 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 | On Building Systems That Will Fail (PDF-Datei; 997 kB) |
1991 | Robin Milner (1934–2010, ![]() |
| Stanford University, | Elements of Interaction (PDF-Datei; 1,38 MB) | |
1992 | ![]() | Butler Lampson (* 1943, ![]() | 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-Publishing | PARC, DEC | Principles for Computer System Design (DOC, PDF, HTML) |
1993 | ![]() | Juris Hartmanis (1928–2022, ![]() | 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) | On Computational Complexity and the Nature of Computer Science |
![]() | Richard E. Stearns (* 1936, ![]() | General Electric Research Laboratory (gehört nun zu Bull) | It's Time to Reconsider Time (PDF-Datei; 736 kB) | ||
1994 | ![]() | Edward Feigenbaum (* 1936, ![]() | 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 | How the “What” Becomes the “How” (PDF-Datei; 322 kB) |
![]() | Raj Reddy (* 1937, ![]() | Stanford University, Carnegie Mellon University | To Dream The Possible Dream (PDF-Datei; 207 kB) | ||
1995 | ![]() | Manuel Blum (* 1938, ![]() | Für die Komplexitätstheorie und deren Anwendung in der Kryptographie und Programmprüfung | University of California, Berkeley | |
1996 | ![]() | Amir Pnueli (1941–2009, ![]() | 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 | Verification Engineering: A Future Profession (GZIP; 70 kB) (PostScript) |
1997 | ![]() | Douglas C. Engelbart (1925–2013, ![]() | 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 |
1998 | ![]() | Jim Gray (1944–2012, ![]() | Für Datenbanken und Transaktionsverarbeitung, und technische Führerschaft in der Systemimplementation von Prototypen zu kommerziellen Produkten | IBM, Microsoft | What Next? A Few Remaining Problems in Information Technology (PDF-Datei; 2,71 MB) |
1999 | ![]() | Frederick P. Brooks (1931–2022 ![]() | Für Rechnerarchitektur, Betriebssysteme, Software-Engineering | IBM, University of North Carolina at Chapel Hill | The Design of Design (Memento vom 23. Juni 2007 im Internet Archive) (WMV) |
2000 | ![]() | Andrew Yao (* 1946, ![]() | Für die Berechenbarkeitstheorie, insbesondere die komplexitätsbasierte Theorie der Pseudozufallszahlenerzeugung, der Kryptographie und Kommunikationskomplexität | Stanford University, University of California, Berkeley, Princeton University | |
2001 | Ole-Johan Dahl (1931–2002, ![]() | Für das Aufkommen der objektorientierten Programmierung fundamentale Ideen durch das Design der Simula-Programmiersprachen, die Konzepte wie Objekte, Klassen und Vererbung einführten | The Development of the Key Object-Oriented Concepts (Der Vortrag wurde nicht gehalten, da beide Preisträger zuvor verstarben) | ||
![]() | Kristen Nygaard (1926–2002, ![]() | Norsk Regnesentral, Universität Oslo | |||
2002 | ![]() | Ronald L. Rivest (* 1947, ![]() | Für Asymmetrische Verschlüsselungsalgorithmen, speziell RSA, und deren praktische Einsetzbarkeit | Massachusetts Institute of Technology | The Early Days of RSA – History and Lessons (HTML-Slides, QuickTime, Shockwave, MP3) |
![]() | Adi Shamir (* 1952, ![]() | Massachusetts Institute of Technology | Cryptography: State Of The Science (HTML-Slides, QuickTime, Shockwave, MP3) | ||
![]() | Leonard Adleman (* 1945, ![]() | University of Southern California | Pre-RSA (HTML-Slides, QuickTime, Shockwave, MP3) | ||
2003 | ![]() | Alan Kay (* 1940, ![]() | 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 Computing | University of Utah, PARC, Stanford University, Atari, Apple Advanced Technology Group, Walt Disney Imagineering, Viewpoints Research Institute, HP Inc. Labs | The Computer Revolution Hasn't Happened Yet (MOV-Datei; 0 kB) (QuickTime) |
2004 | ![]() | Vinton G. Cerf (* 1943, ![]() | Für Pionierarbeit auf dem Feld des Internetworking, insbesondere Entwicklung von TCP/IP | University of California, Los Angeles, Stanford University, DARPA, MCI Communications, CNRI, Google | (keine, stattdessen eine Podiumsdiskussion; MOV-Datei; 0 kB) (QuickTime) |
![]() | Robert E. Kahn (* 1938, ![]() | Massachusetts Institute of Technology, Bolt Beranek and Newman, DARPA, CNRI | |||
2005 | Peter Naur (1928–2016, ![]() | 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 | Computing vs. Human Thinking (MOV-Datei; 0 kB) (QuickTime) | |
2006 | ![]() | Frances E. Allen (1932–2020, ![]() | 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 | Compiling for Performance – A Personal Tour (MOV-Datei; 0 kB) (QuickTime) |
2007 | ![]() | Edmund M. Clarke (1945–2020, ![]() | 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 | Model 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) |
![]() | E. Allen Emerson (* 1954, ![]() | Harvard University, University of Texas at Austin | Model Checking: A Bird’s-Eye View (MOV-Datei; 0 kB) (QuickTime, später in überarbeiteter Form mit den anderen beiden wiederveröffentlicht) | ||
![]() | Joseph Sifakis (* 1946, ![]() | Centre national de la recherche scientifique | The Quest for Correctness – Beyond Verification (PDF, QuickTime (MOV-Datei; 0 kB); später in überarbeiteter Form mit den anderen beiden wiederveröffentlicht) | ||
2008 | ![]() | Barbara Liskov (* 1939, ![]() | Für Beiträge zu Programmiersprachen- und Betriebssystemdesign, insbesondere im Zusammenhang mit Datenabstraktion, Modularität, Fehlertoleranz, Persistenz und verteiltem Rechnen | Massachusetts Institute of Technology | The Power of Abstraction |
2009 | ![]() | Charles P. Thacker (1943–2017, ![]() | 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-PCs | PARC, DEC, Microsoft Research | Improving the Future by Examining the Past |
2010 | ![]() | Leslie Valiant (* 1949, ![]() | 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 Rechnens | Harvard University | The Extent and the Limitations of Mechanistic Explanations of Nature (Flash) |
2011 | ![]() | Judea Pearl (* 1936, ![]() | Für grundlegende Beiträge zur künstlichen Intelligenz durch die Entwicklung eines Kalküls für probabilistisches und kausalistisches Schließen | University of California, Los Angeles, New Jersey Institute of Technology | The Mechanization of Causal Inference: A "mini" Turing Test And Beyond (Flash) |
2012 | ![]() | Silvio Micali (* 1954, ![]() | 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 | Proof According to Silvio (Flash) |
Shafi Goldwasser (* 1958, ![]() | Massachusetts Institute of Technology, Weizmann-Institut für Wissenschaften | The Cryptographic Lens (Flash) | |||
2013 | ![]() | Leslie Lamport (* 1941, ![]() | Für grundlegende Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme | Massachusetts Computer Associates, SRI International, DEC, Compaq, Microsoft Research | An Incomplete History of Concurrency (Video) |
2014 | ![]() | Michael Stonebraker (* 1943, ![]() | Für Beiträge zu Konzepten und Verfahren, die modernen Datenbanksystemen zugrunde liegen | University of California, Berkeley, Massachusetts Institute of Technology | Postgres (Flash) |
2015 | ![]() | Whitfield Diffie (* 1944, ![]() | Für herausragende Beiträge zur modernen Kryptografie | Stanford University | The Evolving Meaning of Information Security (PDF-Datei; 732,9 kB) |
![]() | Martin E. Hellman (* 1945, ![]() | Stanford University | Learning with Finite Memory (YouTube-Video) | ||
2016 | ![]() | Tim Berners-Lee (* 1955, ![]() | 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 | The World Wide Web (YouTube-Video) |
2017 | ![]() | John L. Hennessy (* 1952, ![]() | Für neuartige Herangehensweisen an Entwurf und Bewertung von Computerarchitekturen mit dauerhaften Auswirkungen auf die Mikroprozessor-Industrie. | Stanford University | A Golden Age for Computer Architecture (YouTube-Video) |
![]() | David A. Patterson (* 1947, ![]() | University of California, Berkeley | |||
2018 | ![]() | Yoshua Bengio (* 1964, ![]() ![]() | Für neuronale Netzwerke und Deep Learning. | Université de Montréal, McGill University, Mila - Quebec AI Institute | |
![]() | Geoffrey Hinton (* 1947, ![]() | University of Toronto, University of California, San Diego, Carnegie Mellon University, University College London, University of Edinburgh, Google AI | |||
![]() | Yann LeCun (* 1960, ![]() | University of Toronto, Bell Labs, Courant Institute of Mathematical Sciences, New York University, Meta AI | The Deep Learning Revolution (YouTube-Video) | ||
2019 | ![]() | Edwin Catmull (* 1945, ![]() | 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 Hanrahan (* 1955, ![]() | Pixar, Princeton University, Stanford University | |||
2020 | Alfred V. Aho (* 1945, ![]() | 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, ![]() | Bell Labs, Princeton University, Stanford University | ||||
2021 | ![]() | Jack Dongarra (* 1951, ![]() | 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 | ![]() | Robert Metcalfe (* 1946, ![]() | 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
- A. M. Turing Award bei der ACM (englisch)
- Turing Centenary Celebration (englisch)
Auf dieser Seite verwendete Medien
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.
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 introduced in 1965, using Pantone colors. This design replaced the Canadian Red Ensign design.
Die quadratische Nationalfahne der Schweiz, in transparentem rechteckigem (2:3) Feld.
Autor/Urheber: Steve Jurvetson from Menlo Park, USA, Lizenz: CC BY 2.0
Yoshua Bengio
Autor/Urheber:
- 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.
Professor Cook at the Fall school of LOGIC & COMPLEXITY in Prague, September 24, 2008
Autor/Urheber: Richard Edwin Stearns, Lizenz: CC BY-SA 3.0
Richard Edwin Stearns in 2009, taken by his own camera
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.
Autor/Urheber: David Monniaux, Lizenz: CC BY-SA 1.0
Pr Amir Pnueli, 1996 Turing Award laureate
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.
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
Autor/Urheber: Better Than Bacon, Lizenz: CC BY 2.0
Judea Pearl at the 2013 Conference on Neural Information Processing Systems.
Autor/Urheber: Konrad Jacobs, Erlangen, Copyright is MFO, Lizenz: CC BY-SA 2.0 de
Michael O. Rabin
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.
Autor/Urheber: Schmid, Renate, Lizenz: CC BY-SA 2.0 de
Chinese computer scientist Andrew Yao in 2005.
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
Autor/Urheber: Dennis Hamilton, Lizenz: CC BY 2.0
FLoC 2006: Edmund Clarke
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
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.Autor/Urheber: "null0", Lizenz: CC BY-SA 2.0
جون مكارثي، عالم حاسوب أمريكي.
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
Unix creator Ken Thompson
Autor/Urheber: Andrej Bauer, Lizenz: CC BY-SA 2.5 si
دانا سكوت في جامعة كارنيجي ميلون في بيتسبرغ.
Autor/Urheber: PIerre.Lescanne, Lizenz: CC BY-SA 4.0
Picture of the computer scientist John Backus
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.
Autor/Urheber: Ira Abramov from Even Yehuda, Israel, Lizenz: CC BY-SA 2.0
AntiBiometrics-7978
Autor/Urheber: Der ursprünglich hochladende Benutzer war Eriktj in der Wikipedia auf Englisch, Lizenz: CC BY-SA 3.0
Peter Naur.
Autor/Urheber: George Bergman , Lizenz: GFDL 1.2
Manuel Blum (left), Lenore Blum, Avrim Blum, Berkeley 1973
Autor/Urheber: University of Tennessee, Knoxville, Lizenz: CC BY-SA 3.0
Jack Dongarra, American professor of computer science
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.
Autor/Urheber: Rama, Lizenz: CC BY-SA 2.0 fr
Frances E. Allen receiving the Erna Hamburger Distinguished Lecture Award at the EPFL
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".
Autor/Urheber: Jason Dorfman, MIT CSAIL photographer, Lizenz: CC BY-SA 3.0
فرناندو كورباتو.
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.
Autor/Urheber: Rama, Lizenz: CC BY-SA 2.0 fr
Richard Karp giving a talk at the EPFL on 13th of July 2009
Autor/Urheber: Der ursprünglich hochladende Benutzer war Matt Crypto in der Wikipedia auf Englisch, Lizenz: CC BY 2.0
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).Autor/Urheber: Dick Lyon, Lizenz: CC BY-SA 3.0
إيفان سذرلاند، في الاحتفال بعيد ميلاده السبعين في متحف تاريخ الحاسوب.
Autor/Urheber:
- VES_Awards_89.jpg: Jeff Heusser
- derivative work: Ahonc
إدوين كاتمول
Autor/Urheber:
- Sherman,_Rivest,_and_Chaum.jpg: carback1
- derivative work: Bonnifac (talk)
Ron Rivest cropped
Autor/Urheber: Runner1928, Lizenz: CC BY-SA 3.0
His talk "The Unreasonable Effectiveness of Deep Learning"
Autor/Urheber: David.Monniaux, Lizenz: CC BY-SA 3.0
Fred Brooks, professor of computer engineering, speaking at the Turing centennial conference at Manchester
Autor/Urheber: Tyomitch, Lizenz: Copyrighted free use
Niklaus Wirth giving a lecture (photo taken on his visit to Ural State University)
Autor/Urheber: Alex Handy from Oakland, Nmibia, Lizenz: CC BY-SA 2.0
دوغلاس إنجيلبارت
Photo Of John Hopcroft, in SPbSU ITMO
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
Autor/Urheber: Francois Lamotte from Belgium, Lizenz: CC BY 2.0
بات هانراهان
Autor/Urheber: Marcin Wichary from San Francisco, U.S.A., Lizenz: CC BY 2.0
Alan Kay
From News and Events, a newsletter published by the Rochester Institute of Technology (RIT)
Autor/Urheber: Schmid, Renate, Lizenz: CC BY-SA 2.0 de
Leslie Valiant, British-American computer scientist, at Oberwolfach.
Autor/Urheber: Microsoft PDC, Lizenz: CC BY 2.0
Professional Developers Conference 2009, Technical Leaders Panel: Butler Lampson
Autor/Urheber: Wolfgang Hunscher, Dortmund, Lizenz: CC BY-SA 3.0
جوريس هارتمانيس
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
Autor/Urheber: Marcin Wichary from San Francisco, U.S.A., Lizenz: CC BY 2.0
Charles (Chuck) Thacker, Mary Lou Jepsen
C. A. R. Hoare
(c) Rob Hodgkinson, CC BY-SA 4.0
Kenneth E. Iverson. Permission granted by Rob Hodgkinson, who created the photo.
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.
Autor/Urheber: Autor/-in unbekannt , Lizenz: CC BY 2.0 uk
M.V. Wilkes retirement, July 1980, Titan Room
Autor/Urheber:
- Hamilton_and_Bachman_at_ACM_Turing_Centenary_Celebration.jpg: Dennis Hamilton
- derivative work: YMS
تشارلز باتشمان في احتفال الذكرى المئوية لجائزة تورنغ لعام 2012.
Autor/Urheber: Kenneth C. Zirkel, Lizenz: CC BY-SA 3.0
Barbara Liskov computer scientist in 2010
Dr. Edward A. Feigenbaum, 27th Chief Scientist of the USAF, 1994-1997.