Amir Pnueli was an Israeli computer scientist and the 1996 Turing Award recipient. Wikipedia
Born: April 22, 1941, Nahalal, Israel
Died: November 2, 2009 (age 68 years), New York
Notable students: Dan Zakay, Doron A. Peled, Shmuel Safra, and more
Awards: Turing Award and Israel Prize in Computer Sciences
Academic advisor: Chaim L. Pekeris
Books