Amir Pnueli - Amir Pnueli
Amir Pnueli | |
|---|---|
 | |
| Geboren |
22. April 1941 |
| Ist gestorben | 2. November 2009 (im Alter von 68) |
| Staatsangehörigkeit | israelisch |
| Auszeichnungen |
Turing-Preis (1996) Israel-Preis |
| Wissenschaftlicher Werdegang | |
| Felder | Informatik |
| Institutionen |
Stanford University Tel Aviv University Weizmann Institute New York University |
Amir Pnueli ( hebräisch : אמיר פנואלי ; 22. April 1941 – 2. November 2009) war ein israelischer Informatiker und erhielt 1996 den Turing-Preis .
Biografie
Pnueli wurde in Nahalal im britischen Mandatsgebiet Palästina (jetzt in Israel ) geboren und erhielt einen Bachelor-Abschluss in Mathematik vom Technion in Haifa und einen Ph.D. in angewandter Mathematik vom Weizmann Institute of Science . Seine Diplomarbeit schrieb er zum Thema "Berechnung der Gezeiten im Ozean". Während eines Postdoc-Stipendiums an der Stanford University wechselte er in die Informatik . Seine Arbeiten in der Informatik konzentrierten sich auf temporale Logik und Model Checking , insbesondere in Bezug auf Fairness-Eigenschaften nebenläufiger Systeme .
Er kehrte als Forscher nach Israel zurück; er war Gründer und erster Lehrstuhlinhaber der Fakultät für Informatik an der Universität Tel Aviv . 1981 wurde er Professor für Informatik am Weizmann-Institut . Von 1999 bis zu seinem Tod hatte Pnueli auch eine Stelle am Computer Science Department der New York University in New York , USA inne .
Pnueli hat während seiner Karriere auch zwei Startup-Technologieunternehmen gegründet. Er hatte drei Kinder und hatte bei seinem Tod vier Enkelkinder.
Pnueli starb am 2. November 2009 an einer Gehirnblutung .
Auszeichnungen und Ehrungen
- 1996 erhielt Pnueli den Turing Award für bahnbrechende Arbeiten zur Einführung der temporalen Logik in die Informatik und für herausragende Beiträge zur Programm- und Systemverifikation .
- Am 30. Mai 1997 erhielt Pnueli die Ehrendoktorwürde der Fakultät für Naturwissenschaften und Technologie der Universität Uppsala , Schweden .
- 1999 wurde er als Foreign Associate in die US National Academy of Engineering aufgenommen.
- Im Jahr 2000 wurde ihm der Israel-Preis für Informatik verliehen.
- 2007 wurde er Fellow der Association for Computing Machinery .
- Ihm zu Ehren veranstaltet das Weizmann Institute of Science eine Gedenkvorlesung. [1]
Siehe auch
Verweise
Externe Links
- Homepage der New York University
- Homepage des Weizmann-Instituts
-
Amir Pnueli bei DBLP Bibliographie Server
