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 FAQs
Did Amir Pnueli found a university department?
He founded and first chaired the computer science department at Tel Aviv University.
Yes. He returned to Israel as a researcher and was the founder and first chair of the computer science department at Tel Aviv University.
Connections
In Field
Source Wikipedia: Amir Pnueli
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
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.