Amir Pnueli

Amir Pnueli
Date personale
Născut	22 aprilie 1941 Nahalal, Palestina sub mandat britanic
Decedat	2 noiembrie 2009 (68 de ani) New York City, New York, SUA
Cauza decesului	cauze naturale (hemoragie cerebrală)
Cetățenie	Israel
Ocupație	informatician inginer pedagog[*]​ cadru didactic universitar[*]​ matematician
Locul desfășurării activității	Institutul de știință Weizmann
Activitate
Domeniu	informatică
Număr Erdős	2
Instituție	Institutul Weizmann Universitatea New York
Alma Mater	Technion Institutul de știință Weizmann
Organizații	Academia Națională de Științe a Israelului Association for Computing Machinery National Academy of Engineering[*][[National Academy of Engineering (engineering branch of the United States National Academies)|​]]
Conducător de doctorat	Chaim L. Pekeris[*][[Chaim L. Pekeris (Israeli geophysicist and mathematician (1908–1993))|​]]
Doctoranzi	Dan Zakay[*]​ Mordechai Ben-Ari[*][[Mordechai Ben-Ari (Israeli computer scientist)|​]] Nissim Francez[*][[Nissim Francez (Israeli computer science professor (born 1944))|​]] Asher Wilk[*][[Asher Wilk (Ph.D. Weizmann Institute of Science 1995)|​]] Lenore Zuck[*][[Lenore Zuck (Israeli-American computer scientist)|​]] Yonit Kesten[*][[Yonit Kesten (Ph.D. Weizmann Institute of Science 1995)|​]] Yair Eran[*][[Yair Eran (Ph.D. Weizmann Institute of Science 1989)|​]] Oded Maler[*][[Oded Maler (Ph.D. Weizmann Institute of Science 1990)|​]] Orna Lichtenstein[*][[Orna Lichtenstein (Ph.D. Weizmann Institute of Science 1991)|​]] Roni Rosner[*][[Roni Rosner (Ph.D. Weizmann Institute of Science 1992)|​]] ...încă 17
Premii	Premiul Israel (2000) Premiul Turing (1996) ACM Software System Award[*][[ACM Software System Award (award by the Association for Computing Machinery)|​]] (2007) ACM Fellow[*][[ACM Fellow (award granted by the Association for Computing Machinery (ACM))|​]] (2007) doctorat honoris causa de l'université Grenoble-I[*][[doctorat honoris causa de l'université Grenoble-I |​]] (13 februarie 1998)
Prezență online
site web oficial

Amir Pnueli (în ebraică אמיר פנואלי; n. 22 aprilie 1941, Nahalal, Palestina sub mandat britanic – d. 2 noiembrie 2009, New York City, New York, SUA) a fost un informatician israelian, laureat al Premiului Turing în 1996, care, conform comisiei de acordare, i-a fost conferit pentru lucrări de referință ce au introdus logica temporală în informatică și pentru remarcabile contribuții în domeniul verificării programelor și sistemelor.