Amir Pnueli was an Israeli computer scientist who lived from 1941 to 2009. He received the 1996 ACM Turing Award.
Facts
Notable WorkTemporal logic for program verification 1 In the Other Atlases
- Also in Geography Atlas: Israel, nationality there.
Sources
1. Amir Pnueli - Wikipedia
Lead, first sentence
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 - November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
Lead, temporal logic sentence
He introduced the use of temporal logic to reason about programs in computer science
View the SourceReader 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.