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

Person

Rajeev Alur

Representative recognition history, related topics, and linked award coverage for Rajeev Alur in the public atlas sample.

1award programs
2024–2024sample range
1sample events
Search this person in the timelineBack to people directoryMethod and sourcesJump to related award

Awards

Knuth Prize

This page aggregates the award programs currently associated with this person in the atlas sample and links them back into the broader timeline explorer.

Representative timeline

Recognitions and related works

Knuth Prize

Timed and hybrid models for system design
2024

Recipient: Rajeev Alur

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