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 de 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