IfoSta - Information und Statistik
IfoSta - Weiteres
Inhaltsverzeichnis
Liste Preisträger
Turing Award
Dokumentation der Preisträger
Jahr Preisträger Geburtsjahr Todesjahr Nationalität Leistung Turing Award Lecture
1966 Alan J. Perlis 1922 1990 Vereinigte Staaten Fortgeschrittene Programmiertechniken und Compilerbau The Synthesis of Algorithmic Systems
1967 Maurice V. Wilkes 1913 2010 Vereinigtes 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 Computers Computers Then and Now
1968 Richard Hamming 1915 1998 Vereinigte Staaten Numerische Methoden, code-erzeugende Systeme, fehlererkennende und fehlerkorrigierende Codes One Man's View of Computer Science
1969 Marvin Minsky 1927 2016 Vereinigte Staaten Künstliche Intelligenz Form and Content in Computer Science
1970 James H. Wilkinson 1919 1986 Vereinigtes Königreich Numerische Mathematik, lineare Algebra, „Rückwärts“-Fehleranalyse Some Comments from a Numerical Analyst
1971 John McCarthy 1927 2011 Vereinigte Staaten Künstliche Intelligenz Generality in Artificial Intelligence
1972 Edsger W. Dijkstra 1930 2002 Niederlande Technik und Begrifflichkeit der Programmiersprachen The Humble Programmer
1973 Charles Bachman 1924 2017 Vereinigte Staaten Datenbanktechniken The Programmer as Navigator
1974 Donald E. Knuth 1938   Vereinigte Staaten Analyse von Algorithmen und Entwurf von Programmiersprachen, insbesondere die Beiträge zur Programmierkunst in The Art of Computer Programming Computer Programming as an Art
1975 Allen Newell 1927 1992 Vereinigte Staaten Künstliche Intelligenz, Psychologie menschlicher Erkenntnis, Listenverarbeitung (ursprünglich zusammen mit John Clifford Shaw) Computer Science as Empirical Inquiry: Symbols and Search
1975 Herbert A. Simon 1916 2001 Vereinigte Staaten
1976 Michael O. Rabin 1931   Israel Nichtdeterministische Automaten (eingeführt im Paper Finite Automata and Their Decision Problem) Complexity of Computations
1976 Dana Scott 1932 Vereinigte Staaten Logic and Programming Languages
1977 John W. Backus 1924 2007 Vereinigte Staaten Höhere Programmiersprachen (insbesondere Fortran), formale Verfahren zur Spezifikation von Programmiersprachen Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs
1978 Robert Floyd 1936 2001 Vereinigte 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 Algorithmenanalyse The Paradigms of Programming
1979 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 Programmiersprachen Notation as a Tool of Thought
1980 Tony Hoare 1934   Vereinigtes Königreich Definition und Design von Programmiersprachen The Emperor's Old Clothes
1981 Edgar F. Codd 1923 2003 Vereinigtes 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 legte Relational Database: A Practical Foundation for Productivity
1982 Stephen A. Cook 1939   Vereinigte Staaten Komplexitätstheorie, insbesondere die im Paper The Complexity of Theorem Proving Procedures begründete Theorie der NP-Vollständigkeit An Overview of Computational Complexity
1983 Ken Thompson 1943   Vereinigte Staaten Grundlegende Betriebssystemtheorie, Implementierung von Unix Reflections on Trusting Trust
1983 Dennis Ritchie 1941 2011 Vereinigte Staaten Reflections on Software Research
1984 Niklaus Wirth 1934   Kanada Entwicklung mehrerer Programmiersprachen: Euler, Algol W, Modula und insbesondere Pascal From Programming Language Design to Computer Construction
1985 Richard M. Karp 1935   Vereinigte 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 hat Combinatorics, Complexity, and Randomness
1986 John E. Hopcroft 1939   Vereinigte Staaten Design und Analyse von Algorithmen und Datenstrukturen Computer Science: The Emergence Of A Discipline
1986 Robert Tarjan 1948 Vereinigte Staaten Algorithm Design
1987 John Cocke 1925 2002 Vereinigte 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 Konstantenausbreitung The Search For Performance In Scientific Processors
1988 Ivan Sutherland 1938   Vereinigte 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 Linien Micropipelines
1989 William Kahan 1933   Kanada Numerische Mathematik, insbesondere Gleitkommaberechnungen, mit der Entwicklung und Propagierung der Standards IEEE 754 und IEEE 854  
1990 Fernando José Corbató 1926 2019 Vereinigte 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 Abstraktion On Building Systems That Will Fail
1991 Robin Milner 1934 2010 Vereinigtes 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
1992 Butler Lampson 1943   Vereinigte 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-Publishing Principles for Computer System Design
1993 Juris Hartmanis 1928   Vereinigte Staaten Begründung der Komplexitätstheorie mit dem Paper On the Computational Complexity of Algorithms On Computational Complexity and the Nature of Computer Science
1993 Richard E. Stearns 1936 Vereinigte Staaten It's Time to Reconsider Time
1994 Edward Feigenbaum 1936   Vereinigte 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”
1994 Raj Reddy 1937 Vereinigte Staaten To Dream The Possible Dream
1995 Manuel Blum 1938   Venezuela Komplexitätstheorie und deren Anwendung in der Kryptographie und Programmprüfung  
1996 Amir 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
1997 Douglas C. Engelbart 1925 2013 Vereinigte 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
1998 Jim Gray 1944 2012 Vereinigte Staaten Datenbanken und Transaktionsverarbeitung, und technische Führerschaft in der Systemimplementation von Prototypen zu kommerziellen Produkten What Next? A Few Remaining Problems in Information Technology
1999 Frederick P. Brooks 1931   Vereinigte Staaten Rechnerarchitektur, Betriebssysteme, Software-Engineering The Design of Design
2000 Andrew Yao 1946   Volksrepublik China Berechenbarkeitstheorie, insbesondere die komplexitätsbasierte Theorie der Pseudozufallszahlenerzeugung, der Kryptographie und Kommunikationskomplexität  
2001 Ole-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ührten The Development of the Key Object-Oriented Concepts
2001 Kristen Nygaard 1926 2002 Norwegen
2002 Ronald L. Rivest 1947   Vereinigte Staaten Asymmetrische Verschlüsselungsalgorithmen, speziell RSA, und deren praktische Einsetzbarkeit The Early Days of RSA – History and Lessons
2002 Adi Shamir 1952 Israel Cryptography: State Of The Science
2002 Leonard Adleman 1945 Vereinigte Staaten Pre-RSA
2003 Alan Kay 1940   Vereinigte 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 Computing The Computer Revolution Hasn't Happened Yet
2004 Vinton G. Cerf 1943   Vereinigte Staaten Internet, insbesondere Entwicklung von TCP/IP  
2004 Robert E. Kahn 1938 Vereinigte Staaten
2005 Peter Naur 1928 2016 Dänemark 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
2006 Frances E. Allen 1932 2020 Vereinigte 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
2007 Edmund M. Clarke 1945 2020 Vereinigte Staaten Entwicklung der von Clarke/Emerson und Sifakis unabhängig voneinander begründeten Modellprüfung zu einer effektiven, in Hard- und Softwareindustrie weitverbreiteten Verifizierungstechnik Model Checking – My 27 year quest to overcome the State Explosion problem
2007 E. Allen Emerson 1954 Vereinigte Staaten Model Checking: A Bird’s-Eye View
2007 Joseph Sifakis 1946 Israel The Quest for Correctness – Beyond Verification
2008 Barbara Liskov 1939   Vereinigte Staaten Beiträge zu Programmiersprachen- und Betriebssystemdesign, insbesondere im Zusammenhang mit Datenabstraktion, Modularität, Fehlertoleranz, Persistenz und verteiltem Rechnen The Power of Abstraction
2009 Charles P. Thacker 1943 2017 Vereinigte 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-PCs Improving the Future by Examining the Past
2010 Leslie Valiant 1949   Vereinigtes 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 Rechnens The Extent and the Limitations of Mechanistic Explanations of Nature
2011 Judea Pearl 1936   Vereinigte Staaten Grundlegende Beiträge zur künstlichen Intelligenz durch die Entwicklung eines Kalküls für probabilistisches und kausalistisches Schließen The Mechanization of Causal Inference: A "mini" Turing Test And Beyond
2012 Silvio Micali 1954   Vereinigte Staaten Schaffung der komplexitätstheoretischen Grundlagen der Kryptographie und damit Wegbereitung für neue Methoden zur effizienten Verifikation mathematischer Beweise in der Komplexitätstheorie Proof According to Silvio
2012 Shafi Goldwasser 1958 Vereinigte Staaten The Cryptographic Lens
2013 Leslie Lamport 1941   Vereinigte Staaten Grundlegende Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme An Incomplete History of Concurrency
2014 Michael Stonebraker 1943   Vereinigte Staaten Beiträge zu Konzepten und Verfahren, die modernen Datenbanksystemen zugrunde liegen Postgres
2015 Whitfield Diffie 1944   Vereinigte Staaten Herausragende Beiträge zur modernen Kryptografie The Evolving Meaning of Information Security
2015 Martin E. Hellman 1945 Vereinigte Staaten
2016 Tim Berners-Lee 1955   Vereinigtes Königreich World Wide Web, erster Webbrowser und grundlegende Protokolle und Algorithmen, die das Web skalieren lassen The World Wide Web
2017 John L. Hennessy 1952   Vereinigte Staaten Neuartige Herangehensweise an Entwurf und Bewertung von Computerarchitekturen mit dauerhaften Auswirkungen auf die Mikroprozessor-Industrie. A Golden Age for Computer Architecture
2017 David A. Patterson 1947 Vereinigte Staaten
2018 Yoshua Bengio 1964   Kanada/ Frankreich Neuronale Netzwerke und Deep Learning.  
2018 Yann LeCun 1960 Frankreich
2018 Geoffrey Hinton 1947 Vereinigtes Königreich
2019 Edwin Catmull 1945   Vereinigte Staaten Grundlegende Beiträge zur 3D-Computergrafik und den Einfluss dieser Techniken auf computergenerierte Bilder (CGI) beim Filmemachen und anderen Anwendungen.  
2019 Pat Hanrahan 1955   Vereinigte Staaten