Pnueli, Amir

Amir Pnueli
אמיר פנואלי

Amir Pnueli, 2006
Fødselsdato 22. april 1941( 22-04-1941 )
Fødselssted Nahalal , Palæstina , nu Israel
Dødsdato 2. november 2009 (68 år)( 2009-11-02 )
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

Noter

  1. Kort biografi om Amir Pnueli Harel . Hentet 9. februar 2009. Arkiveret fra originalen 6. marts 2009.
  2. Amir Pnueli: Ahead of His Time, 2010 .
  3. ACM Award Citation / Amir Pnueli (link ikke tilgængeligt) . Hentet 9. februar 2009. Arkiveret fra originalen 28. februar 2008. 

Litteratur

Links