Search results
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.
Amir Pnueli was an Israeli computer scientist and winner of the 1996 A.M. Turing Award, the highest honour in computer science, for “seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification.”
15 Nov 2009 · Amir Pnueli, who turned a philosopher’s explorations of time, logic and free will into a critical technique for verifying the reliability of computers, died on Nov. 2 in Manhattan. He was 68.
NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist. The NYU Department of Computer Science and the entire university community mourn the sudden passing of Professor Amir Pnueli, who died on November 2 of a brain hemorrhage.
4 Nov 2009 · Amir Pnueli, an internationally renowned pioneer in computer science best known for introducing temporal logic to analyze computer systems, died on November 2 at the age of 68 at St. Vincent’s Hospital in New York.
2 Nov 2009 · Learn about the life and achievements of Amir Pnueli, the Israeli computer scientist who introduced temporal logic into computing science and won the ACM Turing Award in 1996. Explore his biography, education, honors, publications, and contributions to program and system verification.
4 Nov 2009 · Amir Pnueli passed away Monday from a brain hemorrhage. Amir was an expert in program verification who won the 1996 Turing Award primarily for his 1977 FOCS paper The Temporal Logic of Programs. Lenore Zuck shares her thoughts.
