Amir Pnueli was an Israeli computer scientist who lived from 1941 to 2009. He received the 1996 ACM Turing Award.
Facts
Death PlaceNew York City, United States 2 Notable WorkTemporal logic for program verification 1 Field
Field (category) 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 Source2. Amir Pnueli (Wikidata)
P20 (place of death): New York City, United States
Q60
P19 (place of birth): Nahalal, Israel
Q1724338
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.