Pnueli, Amir
| Amir Pnueli | |
|---|---|
| אמיר פנואלי | |
| Amir Pnueli, 2006 | |
| Fødselsdato | 22. april 1941 |
| Fødselssted | Nahalal , Palæstina , nu Israel |
| Dødsdato | 2. november 2009 (68 år) |
| Et dødssted | New York |
| Land | Israel |
| Videnskabelig sfære | Informatik |
| Arbejdsplads | Weizmann Institute , New York University |
| Alma Mater | Israel Institute of Technology , Weizmann Institute of Technology |
| videnskabelig rådgiver | Chaim L. Pekeris (15. juni 1908-25. februar 1993) [d] ogPekeris, Chaim Leib |
| Præmier og præmier | Turing-prisen |
| Internet side | web.archive.org/web/2003... |
| Mediefiler på Wikimedia Commons | |
Amir Pnueli ( Hebr. אמיר פנואלי , 22. april 1941, Nahalal , Palæstina – 2. november 2009, New York , USA) er en israelsk og amerikansk datalog, professor i datalogi ved Weizmann Institute of Science. 1996 Turing Award for forskning i tidslogik og dens anvendelse på programverifikation .
Biografi
Han modtog en bachelorgrad fra Israel Institute of Technology ( Haifa ), en Ph.D. -grad i anvendt matematik fra Weizmann Instituttet i 1967 med en afhandling om beregning af havvande. Efter at have arbejdet som postdoc ved Stanford University vendte han tilbage til Rehovot . I 1973 flyttede han til Tel Aviv , grundlagde fakultetet for datalogi ved Tel Aviv Universitet og blev dets første dekan . I 1981 flyttede han til stillingen som professor i datalogi ved Weizmann Institute of Science.
Siden 1999 har han været professor ved New York University . I 2007 blev han valgt som fuldgyldigt medlem af Association for Computing Machinery .
Han grundlagde to virksomheder - Mini-Systems og AdCad .
Han var gift og havde tre børn og et barnebarn. [en]
Han døde den 2. november 2009 i en alder af 68 af en hjerneblødning [2] .
Priser
- 1996 - Turing Award "for banebrydende arbejde i implementeringen af tidsmæssig logik i beregningsvidenskaberne og for fremragende bidrag til verifikation af programmer og systemer" [3]
- 1997 - Æresdoktor fra Uppsala Universitet ( Sverige )
- 1998 - æresdoktorgrad fra Joseph Fourier University ( Grenoble , Frankrig )
- 2000 - Israels statspris
Noter
- ↑ Kort biografi om Amir Pnueli Harel . Hentet 9. februar 2009. Arkiveret fra originalen 6. marts 2009.
- ↑ Amir Pnueli: Ahead of His Time, 2010 .
- ↑ ACM Award Citation / Amir Pnueli (link ikke tilgængeligt) . Hentet 9. februar 2009. Arkiveret fra originalen 28. februar 2008.
Litteratur
- Lea Hoffmann. Amir Pnueli: Ahead of His Time // Communications of the ACM : Journal. - 2010. - Januar ( bind 53 , nr. 1 ). - S. 22-23 . - doi : 10.1145/1629175.1629187 .
Links
- Amir Pnuelis hjemmeside på New York University . Hentet 9. februar 2009. Arkiveret fra originalen 28. december 2008.
- Amir Pnueli hjemmeside på Weizmann Instituttet
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||
| Turing prisvindere | |
|---|---|
| |