A living chronology of major computing awards, laureates, and eras.Explore by person, prize, institution, topic, or year.

theory award

Donald E. Knuth Prize

Celebrates landmark achievements in theoretical computer science across a career.

1996founded
2sample events
2sample recipients
annualcadence
Search this award in the timelineBack to awards directoryMethod and sourcesOfficial award page

Scope

foundational contributions to computer science theory

Awarding body: ACM SIGACT and IEEE TCMF. Region: global. Current page shows representative timeline coverage already loaded into the public atlas.

Representative timeline

Sample recipients and influential works

Rajeev Alur

Timed and hybrid models for system design
2024

Celebrates foundational models that shaped verification, synthesis, and analysis for modern reactive and cyber-physical systems.

Event source: 2024 Knuth Prize citation (year/event-specific)

2020sformal methodsverificationcyber-physical systems

Related work / context

Éva Tardos

Algorithms, approximation, and game theory
2023

Recognized career-defining contributions to combinatorial optimization, approximation algorithms, and algorithmic game theory.

Event source: 2023 Knuth Prize citation (year/event-specific)

2020salgorithmsapproximation algorithmsalgorithmic game theory

Related work / context