Amir Pnueli was an Israeli computer scientist who in 1977 introduced temporal logic as a formal tool for specifying and reasoning about the ongoing behavior of concurrent and reactive computer programs, systems that run continuously and respond to events rather than simply computing an output and stopping. This work became foundational to the later development of model checking and automated verification. Pnueli won the Turing Award in 1996.
Facts
Awardhonorary doctorate from Joseph Fourier University 2 AwardACM Software System Award 2 Connections
In Field
Source Wikipedia: Amir Pnueli
In the Other Atlases
- Also in Geography Atlas: Israel, nationality there.
Sources
1. Wikipedia: Amir Pnueli
Wikimedia FoundationLead section
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941, November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
- In Field: Formal Methods, Lead paragraph
View the Source 2. Wikidata: Amir Pnueli
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.