Amir Pnueli

Amir Pnueli
	;
Nom original	(he) אמיר פנואלי
Biografia
Naixement	22 abril 1941 ; Nahalal (Israel)
Mort	2 novembre 2009 (68 anys); Nova York
Causa de mort	hemorràgia cerebral
Nacionalitat	israeliana
Formació	Stanford; Universitat de Tel-Aviv; Institut Weizmann de Ciències; Universitat de Nova York
Director de tesi	Chaim L. Pekeris
Activitat
Camp de treball	Ciències de la computació
Lloc de treball	Institut Weizmann de Ciències
Ocupació	Informàtica
Ocupador	Universitat de Nova York ; Universitat de Tel-Aviv ; Universitat Politècnica de Nova York
Membre de	Association for Computing Machinery (membre de l'Association for Computing Machinery) (2007–); Acadèmia Nacional d'Enginyeria (1999–); Acadèmia Israeliana de Ciències i Humanitats
Obra
Estudiant doctoral	Dan Zachai, Mordechai Ben-Ari, Nissim Francez (en) , Asher Wilk (en) , Lenore Zuck (en) , Yonit Kesten (en) , Yair Eran (en) , Oded Maler (en) , Orna Lichtenstein (en) , Roni Rosner (en) , Rivka Zarhy-Sherman (en) , Dov Dori (en) , Giora Slutzki (en) , Doron A. Peled (en) , Hillel Kugler (en) , Ofer Strichman (en) , Gera Weiss (en) , Raya (Rosenfeld) Leviathan (en) , Yi Fang (en) , Elad Shahar (en) , Ariel Cohen (en) , Sitvanit Ruah (en) , Ittai Balaban (en) , Uri Klein (en) , Yaniv Sa'ar (en) , Dana Fisman (en) i Shmuel Safra
Premis
	Premi Turing (1996); Premi Israel
Lloc web	wisdom.weizmann.ac.il…

Amir Pnueli (hebreu: אמיר פנואלי‎) fou un informàtic israelià que va guanyar el premi Turing de 1996.

Pnueli va néixer a Nahalal, al Mandat Britànic de Palestina (ara Israel) i es va llicenciar en Matematiques al Technion de Haifa, doctorant-se en matemàtica aplicada a l'Institut Weizmann de Ciències. La seva tesi era sobre el "Càlcul de marees a l'oceà". Va canviar-se a la informàtica quan va fer una estada post-doctoral a la Universitat Stanford. La seva feina en informàtica es va concentrar en la lògica temporal i la verificació de models, en concret sobre les propietats de justícia dels sistemes concurrents.^[1]

Va tornar a Israel com a investigador; va ser el fundador i el primer director del departament d'informàtica de la Universitat de Tel-Aviv. Va passar a fer de professor d'informàtica de l'Institut Weizmann el 1981. Des de 1999 fins a la seva mort, Pnueli també tenia un càrrec al Departament d'Informàtica de la Universitat de Nova York, als Estats Units.^[1]

Pnueli també va fundar dues empreses de tecnologia al llarg de la seva carrera. Va tenir tres fills, i en el moment de la seva mort, tenia quatre nets.^[1]

Pnueli va morir el 2 de novembre de 2009 d'hemorràgia cerebral.^[1]^[2]^[3]

Premis i honors

El 1996, Pnueli va rebre el premi Turing per l'obra fundacional en introduir la lògica temporal en la informàtica i per contribucions excel·lents a la verificació de programes i sistemes.
El 1999, va ser nomenat Associat Estranger de l'Acadèmia Nacional d'Enginyeria dels Estats Units.
El 2000, va rebre el premi Israel d'informàtica.^[4]^[5]
El 2007, va ser nomenat Fellow de l'Association for Computing Machinery.
L'Institut Weizmann de Ciències presenta una sèrie de conferències anual en honor seu.

Referències

↑ ^1,0 ^1,1 ^1,2 ^1,3 Chang, Kenneth «Amir Pnueli, Pioneer of Temporal Logic, Dies at 68». New York Times, 14-11-2009.
↑ «NYU Computer Science Professor Amir Pnueli, 68». Dr. Dobb's, 05-11-2009.
↑ «NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist». Arxivat de l'original el 9 novembre 2009. [Consulta: 8 novembre 2009].
↑ «Israel Prize Official Site (in Hebrew) – Recipient’s C.V.».
↑ «Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient».

Enllaços externs

Perfil

[nyt-1] 1,0 ^1,1 ^1,2 ^1,3 Chang, Kenneth «Amir Pnueli, Pioneer of Temporal Logic, Dies at 68». New York Times, 14-11-2009.

[2] «NYU Computer Science Professor Amir Pnueli, 68». Dr. Dobb's, 05-11-2009.

[3] «NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist». Arxivat de l'original el 9 novembre 2009. [Consulta: 8 novembre 2009].

[4] «Israel Prize Official Site (in Hebrew) – Recipient’s C.V.».

[5] «Israel Prize Official Site (in Hebrew) – Judges' Rationale for Grant to Recipient».

[1]

[2]

[3]

[4]

[5]