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 .
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] .
![]() | ||||
---|---|---|---|---|
Ordbøger og encyklopædier | ||||
|
Turing prisvindere | |
---|---|
|