Amir Pnueli | |
---|---|
Born | |
Died | 2 November 2009 | (aged 68)
Nationality | Israeli |
Awards | Turing Award (1996) Israel Prize |
Scientific career | |
Fields | Computer Science |
Institutions | Tel Aviv University Weizmann Institute New York University University of Pennsylvania Stanford University |
Doctoral students |
Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.