Amir Pnueli (22 aprile1941 –2 novembre2009) è stato unmatematico,informatico e ricercatoreisraeliano.
Ha ricevuto ilPremio Turing nel1996.
Pnueli è nato aNahalal, nelMandato britannico della Palestina (oraIsraele) e ha conseguito una laurea inmatematica presso ilTechnion diHaifa e undottorato di ricerca. in matematica applicata dalWeizmann Institute of Science. La sua tesi era sul tema "Calcolo delle maree nell'oceano". È passato all'informatica durante un periodo come borsista post-dottorato presso laStanford University. I suoi lavori in informatica si sono concentrati sulla logica temporale e sul controllo dei modelli, in particolare per quanto riguarda le proprietà di equità deisistemi concorrenti.[1]
È tornato in Israele come ricercatore; è stato il fondatore e il primo presidente del dipartimento di informatica presso l'Università di Tel Aviv. È diventato professore di informatica presso ilWeizmann Institute nel1981. Dal1999 fino alla sua morte, Pnueli ha anche ricoperto una posizione presso il Dipartimento di Informatica dellaNew York University,New York,USA.Pnueli ha anche fondato due società tecnologiche per startup durante la sua carriera.
Ha avuto tre figli e, alla sua morte, ha avuto quattro nipoti.Pnueli è morto il 2 novembre2009 per un'emorragia cerebrale.
Altri progetti
Wikimedia Commons contiene immagini o altri file suAmir Pnueli
| Controllo di autorità | VIAF(EN) 59337776 ·ISNI(EN) 0000 0000 8386 4015 ·LCCN(EN) n85817647 ·GND(DE) 1076344267 ·BNF(FR) cb146146775(data) ·J9U(EN, HE) 987007392321405171 |
|---|
