For faster navigation, this Iframe is preloading the Wikiwand page for Amir Pnueli.

Amir Pnueli

Da Wikipedia, l'enciclopedia libera.

Amir Pnueli (22 aprile 19412 novembre 2009) è stato un matematico, informatico e ricercatore israeliana. Ha ricevuto il Premio Turing nel 1996. Pnueli è nato a Nahalal, nel Mandato britannico della Palestina (ora Israele) e ha conseguito una laurea in matematica presso il Technion di Haifa e un dottorato di ricerca. in matematica applicata dal Weizmann 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 la Stanford 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à dei sistemi 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 il Weizmann Institute nel 1981. Dal 1999 fino alla sua morte, Pnueli ha anche ricoperto una posizione presso il Dipartimento di Informatica della New 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 novembre 2009 per un'emorragia cerebrale.

Premi e riconoscimenti

  • Nel 1996, Pnueli ha ricevuto il Premio Turing per il lavoro fondamentale che introduce la logica temporale nella scienza informatica e per i contributi eccezionali alla verifica di programmi e sistemi.
  • Il 30 maggio 1997 Pnueli ha ricevuto un dottorato honoris causa dalla Facoltà di Scienze e Tecnologia dell'Università di Uppsala, Svezia.
  • Nel 1999, è stato inserito come Associato straniero dell'Accademia Nazionale di Ingegneria degli Stati Uniti.
  • Nel 2000 è stato insignito dell'Israel Prize, per l'informatica.
  • Nel 2007 è stato inserito come membro dell'Association for Computing Machinery.
  • Il Weizmann Institute of Science presenta una serie di conferenze commemorative in suo onore.

Note

Altri progetti

Controllo di autoritàVIAF (EN59337776 · ISNI (EN0000 0000 8386 4015 · LCCN (ENn85817647 · GND (DE1076344267 · BNF (FRcb146146775 (data) · J9U (ENHE987007392321405171 (topic) · WorldCat Identities (ENlccn-n85817647
{{bottomLinkPreText}} {{bottomLinkText}}
Amir Pnueli
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.