Amir Pnueli

De Viquipèdia
Salta a la navegació Salta a la cerca
Infotaula de personaAmir Pnueli
Amir Pnueli.jpg
Biografia
Naixement22 d'abril de 1941
Nahalal,
Mandat Britànic de Palestina
(ara Israel)
Mort2 de novembre de 2009(2009-11-02) (als 68 anys)
Nova York
Causa de mortCauses naturals (Hemorràgia cerebral)
Nacionalitatisraeliana
FormacióStanford
Universitat de Tel Aviv
Institut Weizmann de Ciències
Universitat de Nova York
Activitat
Director de tesiChaim L. Pekeris
Camp de treballCiències de la computació
OcupacióInformàtica
OcupadorUniversitat de Nova York
Universitat de Tel Aviv
Obra
Estudiant doctoralDan Zakay
Premis
Premi Turing (1996)
Premi Israel

Lloc webLloc web
Modifica les dades 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]