Amir Pnueli |
|
| 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 |
|---|
|
| 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 | |
|---|
|
| 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, Giora Slutzki (en) , Doron A. Peled (en) , Hillel Kugler (en) , Ofer Strichman (en) , Gera Weiss (en) , Raya 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 |
|---|
|
|
|
| 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
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
