Amir Pnueli

Amir Pnueli
Born	(1941-04-22)April 22, 1941 Nahalal, Mandate for Palestine
Died	2 November 2009(2009-11-02) (aged 68) New York, United States
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	Mordechai Ben-Ari Dana Fisman Nissim Francez Doron A. Peled Ofer Strichman Lenore Zuck

Amir Pnueli (Hebrew: אמיר פנואלי; April 22, 1941 – November 2, 2009) was an Israeli computer scientist and the 1996 Turing Award recipient.