Amir Pnueli

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaAmir Pnueli
Amir Pnueli.jpg
Modifica el valor a Wikidata
Biografia
Naixement22 abril 1941 Modifica el valor a Wikidata
Nahalal (Israel) (en) Tradueix Modifica el valor a Wikidata
Mort2 novembre 2009 Modifica el valor a Wikidata (68 anys)
Nova York Modifica el valor a Wikidata
Causa de mortCauses naturals Modifica el valor a Wikidata (Hemorràgia cerebral Modifica el valor a Wikidata)
Dades personals
Nacionalitatisraeliana
FormacióStanford
Universitat de Tel Aviv
Institut Weizmann de Ciències
Universitat de Nova York
Activitat
Director de tesiChaim L. Pekeris Modifica el valor a Wikidata
Camp de treballCiències de la computació Modifica el valor a Wikidata
OcupacióInformàtica
OcupadorUniversitat de Nova York
Universitat de Tel Aviv
Universitat Politècnica de Nova York Modifica el valor a Wikidata
Membre de
Obra
Estudiant doctoralDan Zachai, Mordechai Ben-Ari, Nissim Francez (en) Tradueix, Asher Wilk (en) Tradueix, Lenore Zuck (en) Tradueix, Yonit Kesten (en) Tradueix, Yair Eran (en) Tradueix, Oded Maler (en) Tradueix, Orna Lichtenstein (en) Tradueix, Roni Rosner (en) Tradueix, Rivka Zarhy-Sherman (en) Tradueix, Dov Dori (en) Tradueix, Giora Slutzki (en) Tradueix, Doron A. Peled (en) Tradueix, Hillel Kugler (en) Tradueix, Mordechai Ben-Ari (en) Tradueix, Ofer Strichman (en) Tradueix, Gera Weiss (en) Tradueix, Raya (Rosenfeld) Leviathan (en) Tradueix, Yi Fang (en) Tradueix, Elad Shahar (en) Tradueix, Ariel Cohen (en) Tradueix, Sitvanit Ruah (en) Tradueix, Ittai Balaban (en) Tradueix, Uri Klein (en) Tradueix, Yaniv Sa'ar (en) Tradueix i Dana Fisman (en) Tradueix Modifica el valor a Wikidata
Premis
Premi Turing (1996)
Premi Israel

Lloc webwisdom.weizmann.ac.il… Modifica el valor a Wikidata

Amir Pnueli (en 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 néts.[1]

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

Premis i honors[modifica]

Referències[modifica]

Enllaços externs[modifica]