Amir Pnueli

Amir Pnueli
אמיר פנואלי
Born(1941-04-22)April 22, 1941
Died2 November 2009(2009-11-02) (aged 68)
NationalityIsraeli
EducationIsrael Institute of Technology (BS)
Weizmann Institute of Science (MS, PhD)
AwardsTuring Award (1996)
Israel Prize
Scientific career
FieldsComputer Science
InstitutionsTel 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.