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 ab 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.

JahrBildPersonLeistungTuring Award Lecture
1966Alan J. Perlis
(1922–1990, Vereinigte StaatenVereinigte Staaten)
Fortgeschrittene Programmiertechniken und CompilerbauThe Synthesis of Algorithmic Systems
1967Maurice V. WilkesMaurice V. Wilkes
(1913–2010, Vereinigtes KonigreichVereinigtes Königreich)
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 ComputersComputers Then and Now
1968Richard Hamming
(1915–1998, Vereinigte StaatenVereinigte Staaten)
Numerische Methoden, code-erzeugende Systeme, fehlererkennende und fehlerkorrigierende CodesOne Man's View of Computer Science
1969Marvin MinskyMarvin Minsky
(1927–2016, Vereinigte StaatenVereinigte Staaten)
Künstliche IntelligenzForm and Content in Computer Science
1970James H. Wilkinson
(1919–1986, Vereinigtes KonigreichVereinigtes Königreich)
Numerische Mathematik, lineare Algebra, „Rückwärts“-FehleranalyseSome Comments from a Numerical Analyst
1971John McCarthyJohn McCarthy
(1927–2011, Vereinigte StaatenVereinigte Staaten)
Künstliche IntelligenzGenerality in Artificial Intelligence
(veröffentlicht in überarbeiteter Form 1986)
1972Edsger W. DijkstraEdsger W. Dijkstra
(1930–2002, NiederlandeNiederlande)
Technik und Begrifflichkeit der ProgrammiersprachenThe Humble Programmer
1973Charles BachmanCharles Bachman
(1924–2017, Vereinigte StaatenVereinigte Staaten)
DatenbanktechnikenThe Programmer as Navigator
1974Donald E. KnuthDonald E. Knuth
(* 1938, Vereinigte StaatenVereinigte Staaten)
Analyse von Algorithmen und Entwurf von Programmiersprachen, insbesondere die Beiträge zur Programmierkunst in The Art of Computer ProgrammingComputer Programming as an Art
1975Allen Newell
(1927–1992, Vereinigte StaatenVereinigte Staaten)
Künstliche Intelligenz, Psychologie menschlicher Erkenntnis, Listenverarbeitung (ursprünglich zusammen mit John Clifford Shaw)Computer Science as Empirical Inquiry: Symbols and Search
Herbert A. Simon
(1916–2001, Vereinigte StaatenVereinigte Staaten)
1976Michael O. RabinMichael O. Rabin
(* 1931, Israel)
Nichtdeterministische Automaten (eingeführt im Paper Finite Automata and Their Decision Problem)Complexity of Computations
Dana ScottDana Scott
(* 1932, Vereinigte StaatenVereinigte Staaten)
Logic and Programming Languages
1977John W. BackusJohn W. Backus
(1924–2007, Vereinigte StaatenVereinigte Staaten)
Höhere Programmiersprachen (insbesondere Fortran), formale Verfahren zur Spezifikation von ProgrammiersprachenCan 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)
Methoden zur Erzeugung von effizienten und zuverlässigen Programmen, und Hilfe zur Begründung der Informatik-Unterfelder Parsertheorie, Programmiersprachensemantik, automatische Programmverifizierung und -synthese sowie AlgorithmenanalyseThe Paradigms of Programming
1979
Ken Iverson
(c) Rob Hodgkinson, CC BY-SA 4.0
Kenneth E. Iverson
(1920–2004, Kanada)
Programmiersprachen und mathematische Notation, Implementierung interaktiver Systeme, Nutzung von APL in der Ausbildung, sowie Beiträge zur Theorie und Praxis der ProgrammiersprachenNotation as a Tool of Thought
1980Tony HoareTony Hoare
(* 1934, Vereinigtes KonigreichVereinigtes Königreich)
Definition und Design von ProgrammiersprachenThe Emperor's Old Clothes
1981Edgar F. Codd
(1923–2003, Vereinigtes KonigreichVereinigtes Königreich)
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 legteRelational Database: A Practical Foundation for Productivity
1982Stephen A. CookStephen A. Cook
(* 1939, Vereinigte StaatenVereinigte Staaten)
Komplexitätstheorie, insbesondere die im Paper The Complexity of Theorem Proving Procedures begründete Theorie der NP-VollständigkeitAn Overview of Computational Complexity (Memento vom 17. Januar 2006 im Internet Archive) (PDF-Datei; 969 kB)
1983Ken ThompsonKen Thompson
(* 1943, Vereinigte StaatenVereinigte Staaten)
Grundlegende Betriebssystemtheorie, Implementierung von UnixReflections on Trusting Trust (Memento vom 6. Dezember 2011 auf WebCite)
Dennis RitchieDennis Ritchie
(1941–2011, Vereinigte StaatenVereinigte Staaten)
Reflections on Software Research
1984Niklaus WirthNiklaus Wirth
(* 1934, Schweiz)
Entwicklung mehrerer Programmiersprachen: Euler, Algol W, Modula und insbesondere PascalFrom Programming Language Design to Computer Construction
1985Richard M. KarpRichard M. Karp
(* 1935, Vereinigte StaatenVereinigte Staaten)
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 hatCombinatorics, 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)
Design und Analyse von Algorithmen und DatenstrukturenComputer Science: The Emergence Of A Discipline (PDF-Datei; 494 kB)
Robert TarjanRobert Tarjan
(* 1948, Vereinigte StaatenVereinigte Staaten)
Algorithm Design (PDF-Datei; 944 kB)
1987John Cocke
(1925–2002, Vereinigte StaatenVereinigte Staaten)
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 KonstantenausbreitungThe Search For Performance In Scientific Processors (PDF-Datei; 402 kB)
1988Ivan SutherlandIvan Sutherland
(* 1938, Vereinigte StaatenVereinigte Staaten)
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 LinienMicropipelines (PDF-Datei; 3,01 MB)
1989William KahanWilliam Kahan
(* 1933, Kanada)
Numerische Mathematik, insbesondere Gleitkommaberechnungen, mit der Entwicklung und Propagierung der Standards IEEE 754 und IEEE 854
1990Fernando José CorbatóFernando José Corbató
(1926–2019, Vereinigte StaatenVereinigte Staaten)
Konzept und 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 AbstraktionOn 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
Elements of Interaction (PDF-Datei; 1,38 MB)
1992Butler LampsonButler Lampson
(* 1943, Vereinigte StaatenVereinigte Staaten)
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-PublishingPrinciples for Computer System Design
(DOC, PDF, HTML)
1993Juris HartmanisJuris Hartmanis
(* 1928, Vereinigte StaatenVereinigte Staaten)
Begründung der Komplexitätstheorie mit dem Paper On the Computational Complexity of AlgorithmsOn Computational Complexity and the Nature of Computer Science
Richard E. StearnsRichard E. Stearns
(* 1936, Vereinigte StaatenVereinigte Staaten)
It's Time to Reconsider Time (PDF-Datei; 736 kB)
1994Edward FeigenbaumEdward Feigenbaum
(* 1936, Vereinigte StaatenVereinigte Staaten)
Design und 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)How the “What” Becomes the “How” (PDF-Datei; 322 kB)
Raj ReddyRaj Reddy
(* 1937, Vereinigte StaatenVereinigte Staaten)
To Dream The Possible Dream (PDF-Datei; 207 kB)
1995Manuel BlumManuel Blum
(* 1938, Venezuela)
Komplexitätstheorie und deren Anwendung in der Kryptographie und Programmprüfung
1996Amir PnueliAmir Pnueli
(1941–2009, Israel)
Zeitliche Logik; Programm- und Systemverifizierung, insbesondere bei nebenläufigen und reaktiven Systemen (mit dem Paper The Temporal Logic of Programs)Verification Engineering: A Future Profession (GZIP; 70 kB)
(PostScript)
1997Douglas C. EngelbartDouglas C. Engelbart
(1925–2013, Vereinigte StaatenVereinigte Staaten)
Zukunftsvision des interaktiven Computers, Erfindung von Schlüsseltechnologien für deren Realisierung (die Maus, Fenster, Hyperlinks, Telekonferenzen, Online-Publishing)Collective IQ and a framework for bootstrapping our society
1998Jim GrayJim Gray
(1944–2012, Vereinigte StaatenVereinigte Staaten)
Datenbanken und Transaktionsverarbeitung, und technische Führerschaft in der Systemimplementation von Prototypen zu kommerziellen ProduktenWhat Next? A Few Remaining Problems in Information Technology (PDF-Datei; 2,71 MB)
1999Frederick P. BrooksFrederick P. Brooks
(* 1931, Vereinigte StaatenVereinigte Staaten)
Rechnerarchitektur, Betriebssysteme, Software-EngineeringThe Design of Design (Memento vom 23. Juni 2007 im Internet Archive)
(WMV)
2000Andrew YaoAndrew Yao
(* 1946, China Volksrepublik)
Berechenbarkeitstheorie, insbesondere die komplexitätsbasierte Theorie der Pseudozufallszahlenerzeugung, der Kryptographie und Kommunikationskomplexität
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)
2002Ronald L. RivestRonald L. Rivest
(* 1947, Vereinigte StaatenVereinigte Staaten)
Asymmetrische Verschlüsselungsalgorithmen, speziell RSA, und deren praktische EinsetzbarkeitThe Early Days of RSA – History and Lessons
(HTML-Slides, QuickTime, Shockwave, MP3)
Adi ShamirAdi Shamir
(* 1952, Israel)
Cryptography: State Of The Science
(HTML-Slides, QuickTime, Shockwave, MP3)
Leonard AdlemanLeonard Adleman
(* 1945, Vereinigte StaatenVereinigte Staaten)
Pre-RSA
(HTML-Slides, QuickTime, Shockwave, MP3)
2003Alan KayAlan Kay
(* 1940, Vereinigte StaatenVereinigte Staaten)
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 ComputingThe Computer Revolution Hasn't Happened Yet (MOV-Datei; 0 kB)
(QuickTime)
2004Vinton G. CerfVinton G. Cerf
(* 1943, Vereinigte StaatenVereinigte Staaten)
Internet, insbesondere Entwicklung von TCP/IP(keine, stattdessen eine Podiumsdiskussion; MOV-Datei; 0 kB)
(QuickTime)
Robert E. KahnRobert E. Kahn
(* 1938, Vereinigte StaatenVereinigte Staaten)
2005Peter NaurPeter Naur
(1928–2016, Danemark)
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)Computing vs. Human Thinking (MOV-Datei; 0 kB)
(QuickTime)
2006Frances E. AllenFrances E. Allen
(1932–2020, Vereinigte StaatenVereinigte Staaten)
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)Compiling for Performance – A Personal Tour (MOV-Datei; 0 kB)
(QuickTime)
2007Edmund M. ClarkeEdmund M. Clarke
(1945–2020, Vereinigte StaatenVereinigte Staaten)
Entwicklung der von Clarke/Emerson und Sifakis unabhängig voneinander begründeten Modellprüfung zu einer effektiven, in Hard- und Softwareindustrie weitverbreiteten VerifizierungstechnikModel 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, Vereinigte StaatenVereinigte Staaten)
Model 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)
The 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)
Beiträge zu Programmiersprachen- und Betriebssystemdesign, insbesondere im Zusammenhang mit Datenabstraktion, Modularität, Fehlertoleranz, Persistenz und verteiltem RechnenThe Power of Abstraction
2009Charles P. ThackerCharles P. Thacker
(1943–2017, Vereinigte StaatenVereinigte Staaten)
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-PCsImproving the Future by Examining the Past
2010Leslie ValiantLeslie Valiant
(* 1949, Vereinigtes KonigreichVereinigtes Königreich)
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 RechnensThe Extent and the Limitations of Mechanistic Explanations of Nature
(Flash)
2011Judea PearlJudea Pearl
(* 1936, Vereinigte StaatenVereinigte Staaten)
Grundlegende Beiträge zur künstlichen Intelligenz durch die Entwicklung eines Kalküls für probabilistisches und kausalistisches SchließenThe Mechanization of Causal Inference: A "mini" Turing Test And Beyond
(Flash)
2012Silvio MicaliSilvio Micali
(* 1954, Vereinigte StaatenVereinigte Staaten)
Schaffung der komplexitätstheoretischen Grundlagen der Kryptographie und damit Wegbereitung für neue Methoden zur effizienten Verifikation mathematischer Beweise in der KomplexitätstheorieProof According to Silvio
(Flash)
Shafi GoldwasserShafi Goldwasser
(* 1958, Vereinigte StaatenVereinigte Staaten)
The Cryptographic Lens
(Flash)
2013Leslie LamportLeslie Lamport
(* 1941, Vereinigte StaatenVereinigte Staaten)
Grundlegende Beiträge zur Theorie und Praxis verteilter und nebenläufiger SystemeAn Incomplete History of Concurrency
(Video)
2014Michael StonebrakerMichael Stonebraker
(* 1943, Vereinigte StaatenVereinigte Staaten)
Beiträge zu Konzepten und Verfahren, die modernen Datenbanksystemen zugrunde liegenPostgres
(Flash)
2015Whitfield DiffieWhitfield Diffie
(* 1944, Vereinigte StaatenVereinigte Staaten)
Herausragende Beiträge zur modernen KryptografieThe Evolving Meaning of Information Security (PDF-Datei; 732,9 kB)
Martin E. HellmannMartin E. Hellman
(* 1945, Vereinigte StaatenVereinigte Staaten)
Learning with Finite Memory (YouTube-Video)
2016Sir Tim Berners-LeeTim Berners-Lee
(* 1955, Vereinigtes KonigreichVereinigtes Königreich)
World Wide Web, erster Webbrowser und grundlegende Protokolle und Algorithmen, die das Web skalieren lassenThe World Wide Web
(YouTube-Video)
2017John L. HennessyJohn L. Hennessy
(* 1952, Vereinigte StaatenVereinigte Staaten)
Neuartige Herangehensweise an Entwurf und Bewertung von Computerarchitekturen mit dauerhaften Auswirkungen auf die Mikroprozessor-Industrie.A Golden Age for Computer Architecture
(YouTube-Video)
David A. PattersonDavid A. Patterson
(* 1947, Vereinigte StaatenVereinigte Staaten)
2018Yoshua BengioYoshua Bengio
(* 1964, Kanada, geboren in FrankreichFrankreich)
Neuronale Netzwerke und Deep Learning.
Yann LeCunYann LeCun
(* 1960, FrankreichFrankreich)
The Deep Learning Revolution (YouTube-Video)
Geoffrey HintonGeoffrey Hinton
(* 1947, Vereinigtes KonigreichVereinigtes Königreich)
2019Edwin CatmullEdwin Catmull
(* 1945, Vereinigte StaatenVereinigte Staaten)
Grundlegende Beiträge zur 3D-Computergrafik und den Einfluss dieser Techniken auf computergenerierte Bilder (CGI) beim Filmemachen und anderen Anwendungen.
Pat HanrahanPat Hanrahan
(* 1955, Vereinigte StaatenVereinigte Staaten)
2020Alfred Vaino Aho
(* 1945, Kanada)
Für grundlegende Algorithmen und Theorie, 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 Informatikerinnen und Informatiker ausgebildet wurden.
Jeffrey David Ullman
(* 1942, Vereinigte StaatenVereinigte Staaten)
2021JackDongarra.jpgJack Dongarra
(* 1951, Vereinigte StaatenVereinigte Staaten)
Beiträge zu numerischen Algorithmen und Bibliotheken, die bei Hochleistungs-Computersoftware zu einer ebenso exponentiellen Verbesserung führte, wie bei der Hardware.

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
Union Jack, Flagge des Vereinigten Königreichs
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
جون مكارثي، عالم حاسوب أمريكي.
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
فرناندو كورباتو.
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
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
بات هانراهان
Niklaus Wirth large.jpg
Autor/Urheber: unknown, Lizenz: CC-BY-SA-3.0
Alan Kay (3097597186).jpg
Autor/Urheber: Marcin Wichary from San Francisco, U.S.A., Lizenz: CC BY 2.0
Alan Kay
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.