Scope
computer science
Awarding body: Association for Computing Machinery. Region: global. Current page shows representative timeline coverage already loaded into the public atlas.
major award
ACM A.M. Turing Award
Often described as the highest distinction in computer science, honoring lasting technical contributions across the field.
1966founded
16sample events
26sample recipients
annualcadence
Representative timeline
Sample recipients and influential works
Recognized the concepts and methods that made reinforcement learning a durable core area of AI.
2020sartificial intelligencereinforcement learningcontrol
Related work / context
- Reinforcement Learning: An Introduction (book, 1998, contextual)
Honored the theory, textbooks, and compiler methods that trained generations of software engineers.
2020scompilersprogramming languagescomputer science education
Related work / context
- Compilers: Principles, Techniques, and Tools (book, 1986, canonical)
Recognized the neural network advances that transformed modern AI, vision, speech, and generative systems.
2010sartificial intelligencedeep learningcomputer vision
Related work / context
- Deep Learning (book, 2016, canonical)
- Gradient-Based Learning Applied to Document Recognition (paper, 1998, canonical)
2013
Unified algorithms, clocks, consensus thinking, and formal specification for reliable distributed systems.
2010sdistributed systemsconcurrencyformal specification
Related work / context
- Time, Clocks, and the Ordering of Events in a Distributed System (paper, 1978, canonical)
- LaTeX (software, 1984, canonical)
2011
Moved probabilistic networks and causal reasoning into the core language of intelligent systems.
2010sartificial intelligencemachine learningcausality
Related work / context
- Probabilistic Reasoning in Intelligent Systems (book, 1988, canonical)
Recognized TCP/IP architecture as the backbone of the public internet and modern distributed applications.
2000sinternetnetworkingprotocols
Related work / context
- A Protocol for Packet Network Intercommunication (paper, 1974, canonical)
1998
Elevated transactions, recoverability, and dependable data systems into standard infrastructure design principles.
1990sdatabasestransaction processingreliability
Related work / context
- Transaction Processing: Concepts and Techniques (book, 1992, canonical)
1996
Connected temporal logic to the verification of reactive systems and modern model checking workflows.
1990sformal methodsverificationlogic
Related work / context
- The Temporal Logic of Programs (paper, 1977, canonical)
Marked the rise of large knowledge-based AI systems and expert-system reasoning as a defining computing frontier.
1990sartificial intelligenceexpert systemsknowledge representation
Related work / context
- The Fifth Generation (book, 1983, contextual)
Recognized pioneering work that made large-scale multi-user operating systems practical and influential.
1990soperating systemstime sharingcomputer systems
Related work / context
- An Experimental Time-Sharing System (paper, 1962, canonical)
Brought asymptotically efficient graph and set algorithms into the standard toolkit of computer science.
1980salgorithmsgraph theorydata structures
Related work / context
- Efficient Planarity Testing (paper, 1974, canonical)
Honored the Unix operating system and C language lineage that shaped systems, networks, and developer culture.
1980soperating systemsprogramming languagessoftware tools
Related work / context
- The UNIX Time-Sharing System (paper, 1974, canonical)
- The C Programming Language (book, 1978, canonical)
1978
Established the relational model that shaped SQL, query processing, and modern data management.
1970sdatabasesdata modelsquery languages
Related work / context
- A Relational Model of Data for Large Shared Data Banks (paper, 1970, canonical)
Made rigor, correctness, and structured programming central to modern software engineering.
1970salgorithmsprogramming methodologyoperating systems
Related work / context
- Go To Statement Considered Harmful (article, 1968, canonical)
Highlighted foundational work on error-correcting codes and dependable numerical computing.
1960sinformation theorycoding theorynumerical methods
Related work / context
- Error Detecting and Error Correcting Codes (paper, 1950, canonical)
1966
Recognized for advanced compiler construction techniques and early leadership in computer science education.
1960sprogramming languagescompiler designeducation
Related work / context
- Epigrams on Programming (article, 1982, canonical)