Amir Pnueli
Amir Pnueli | |
|---|---|
 | |
| Geboren | 22. April 1941 |
| Gestorben | 2. November 2009 (68 Jahre) |
| Staatsangehörigkeit | israelisch |
| Auszeichnungen | Turing Award (1996) Israel -Preis |
| Wissenschaftliche Karriere | |
| Felder | Informatik |
| Institutionen | Universität in Stanford Tel Aviv University Weizmann Institute New Yorker Universität |
Amir Pnueli (hebräisch: אמיר פנואלי; 22. April 1941 - 2. November 2009) war ein Israeli Informatiker und die 1996 Turing Award Empfänger.
Biografie
Pnueli wurde in geboren in Nahalal, in dem Britisches Mandat Palästinas (jetzt in Israel) und erhielt a Bachelorabschluss in Mathematik von der Technion in Haifa, und Ph.D. in angewandt Mathematik von dem Weizmann Institute of Science. Seine These ging zum Thema "Berechnung der Gezeiten im Ozean". Er wechselte während eines Aufenthalts als Postdoktorand auf Informatik bei Universität in Stanford. Seine Arbeiten in Informatik konzentrierten sich auf zeitliche Logik und Modellprüfunginsbesondere in Bezug auf Fairnesseigenschaften von Gleichzeitige Systeme.[1]
Er kehrte als Forscher nach Israel zurück; Er war der Gründer und erste Vorsitzende der Informatikabteilung unter Tel Aviv University. Er wurde Professor für Informatik in der Weizmann Institute 1981 von 1999 bis zu seinem Tod war Pnueli auch eine Position in der Informatikabteilung von Informatik innehatte New Yorker Universität, New York, UNS.[1]
Pnueli gründete auch zwei Startup -Technologieunternehmen während seiner Karriere. Er hatte drei Kinder und hatte bei seinem Tod vier Enkelkinder.[1]
Pnueli starb am 2. November 2009 an a Hirnblutung.[1][2][3]
Auszeichnungen und Ehrungen
- 1996 erhielt Pnueli die Turing Award Für wegweisende Arbeiten zur Einführung zeitliche Logik in die Computerwissenschaft und für herausragende Beiträge zur Programm- und Systemüberprüfung.
- Am 30. Mai 1997 erhielt Pnueli eine Ehrendoktor von der Fakultät für Wissenschaft und Technologie bei Uppsala Universität, Schweden.[4]
- 1999 wurde er als ausländischer Mitarbeiter der US -amerikanischen National Academy of Engineering aufgenommen.
- In 2000, he was awarded the Israel -Preis, für Informatik.[5][6]
- 2007 wurde er als Fellow der Verband für Rechenmaschinen.
- Das Weizmann Institute of Science Präsentiert ihm zu Ehren eine Gedenkvorlesungsreihe.[1]
Siehe auch
Verweise
- ^ a b c d Chang, Kenneth (14. November 2009), "Amir Pnueli, Pionier der zeitlichen Logik, stirbt bei 68", Die New York Times.
- ^ "NYU Informatik Professor Amir Pnueli, 68", Dr. Dobbs, 5. November 2009.
- ^ NYU Professor Amir Pnueli, 68, angesehener Informatiker, New Yorker Universität Informatikabteilung, archiviert Aus dem Original am 9. November 2009, abgerufen 2009-11-08.
- ^ "Ehrendoktorate - Uppsala University, Schweden".
- ^ "Offizieller Standort der Israel -Preis (auf Hebräisch) - C.V. des Empfängers"
- ^ "Offizieller Standort der Israel -Preis (auf Hebräisch) - Rationale der Richter für die Gewährung des Empfängers".
Externe Links
- Homepage der New York University
- Heizmann Institute Homepage
- Amir Pnueli bei DBLP Bibliographieserver
