Amir Pnueli

De Viquipèdia
Jump to navigation Jump to search
Infotaula de personaAmir Pnueli
Amir Pnueli.jpg
Biografia
Naixement 22 d'abril de 1941
Nahalal,
Mandat Britànic de Palestina
(ara Israel)
Mort 2 de novembre de 2009(2009-11-02) (als 68 anys)
Nova York
Causa de mort Hemorràgia cerebral
Nacionalitat israeliana
Educació Stanford
Universitat de Tel Aviv
Institut Weizmann de Ciències
Universitat de Nova York
Activitat
Director de tesi Chaim L. Pekeris Tradueix
Camp de treball Ciències de la computació
Ocupació Informàtica
Ocupador Universitat de Nova York
Obra
Estudiant doctoral Dan Zakay
Premis

Lloc web Lloc web oficial
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]