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 Modifica el valor a Wikidata
Membre de
Obra
Estudiant doctoralDan Zachai i Mordechai Ben-Ari Modifica el valor a Wikidata
Premis
Premi Turing (1996)
Premi Israel

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

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