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

Person

Amir Pnueli

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

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

Awards

Turing Award

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

Turing Award

Temporal logic in program and system verification
1996

Recipient: Amir Pnueli

Connected temporal logic to the verification of reactive systems and modern model checking workflows.

Program-level source: Official awards page / index (not a year-specific citation)

1990sformal methodsverificationlogic

Related work / context