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) Connections
Member Of
Source Amir Pnueli - Wikipedia
Works In
Source Amir Pnueli - Wikipedia
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Source Amir Pnueli - WikipediaLead paragraph of the cited Wikipedia articleQuote, Lead paragraph of the cited Wikipedia article
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
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
Member Of: Weizmann Institute of Science, Infobox, workplaces
Infobox workplaces: Tel Aviv University; Weizmann Institute; New York University; University of Pennsylvania; Stanford University
Works In: Computer Science, Lead sentence
Amir Pnueli (; April 22, 1941, November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
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.