Amir Pnueli

Amir Pnueli
Date personale
Născut	22 aprilie 1941[5] Nahalal, Palestina sub mandat britanic
Decedat	2 noiembrie 2009 (68 de ani)[6][5] 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[1] 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)|​]][2] Nissim Francez[*][[Nissim Francez (Israeli computer science professor (born 1944))|​]][2] Asher Wilk[*][[Asher Wilk (Ph.D. Weizmann Institute of Science 1995)|​]][2] Lenore Zuck[*][[Lenore Zuck (Israeli-American computer scientist)|​]][2] Yonit Kesten[*][[Yonit Kesten (Ph.D. Weizmann Institute of Science 1995)|​]][2] Yair Eran[*][[Yair Eran (Ph.D. Weizmann Institute of Science 1989)|​]][2] Oded Maler[*][[Oded Maler (Ph.D. Weizmann Institute of Science 1990)|​]][2] Orna Lichtenstein[*][[Orna Lichtenstein (Ph.D. Weizmann Institute of Science 1991)|​]][2] Roni Rosner[*][[Roni Rosner (Ph.D. Weizmann Institute of Science 1992)|​]][2] ...î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)[3] ACM Fellow[*][[ACM Fellow (award granted by the Association for Computing Machinery (ACM))|​]] (2007)[1] doctorat honoris causa de l'université Grenoble-I[*][[doctorat honoris causa de l'université Grenoble-I |​]] (13 februarie 1998)[4]
Prezență online
site web oficial
Modifică date / text

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.