Amir Pnueli

Amir Pnueli Bilde i infoboks. Professor Amir Pnueli i januar 2005. Biografi
Fødsel 22. april 1941
Nahalal
Død 2. november 2009(kl. 68)
New York
Nasjonalitet Israelsk
Opplæring Technion
Institut Weizmann
Aktiviteter Informatiker , ingeniør , pedagog , universitetsprofessor , matematiker
Annen informasjon
Jobbet for New York University , Tel Aviv University , Tandon School of Engineering ved University of New York
Felt Informatikk
Medlem av Israeli Academy of Sciences and Letters
Association for Computing Machinery
United States National Academy of Engineering (1999)
Veileder Chaim L. Pekeris ( i )
Nettsted www.wisdom.weizmann.ac.il/~amir
Utmerkelser Turing-prisen (1996)

Amir Pnueli ( hebraisk  : אמיר פנואלי ) er en israelsk datavitenskapsmann født den22. april 1941 og døde den 2. november 2009en intracerebral blødning .

Han ble tildelt Turing-prisen og Israel-prisen .

Biografi

Amir Pnueli ble født i Moshav Nahalal i 1941 . Faren hans, som var lærer, grunnla Institutt for hebraisk litteratur ved Tel Aviv University . I 1945 flyttet familien til Holon . Han studerte matematikk ved Technion i Haifa , og fullførte deretter doktorgraden ved Weizmann-instituttet i Rehovot under veiledning av professor Haïm Leib Pekeris .

Amir Pnueli mottok Turing-prisen i 1996 for "banebrytende arbeid som introduserte tidslogikk i informatikk og for fremragende bidrag til verifisering av programmer og systemer". Hans arbeid har spesielt fokusert på forestillingene om livlighet og egenkapital i samtidige systemer og deres integrering i modellkontrollteknikker . I 1998 mottok han tittelen doctor honoris causa fra University Joseph-Fourier - Grenoble 1 .

Amir Pnueli var nylig professor ved Weizmann Institute i Israel og ved New York University , USA .

Referanser

  1. Weizman Institute Fakultet for matematikk og datalogi , 3. november 2009: "  Med dyp sorg kunngjør vi professor Amir Pnuelis bortgang 2. november 2009.  "
  2. (in) "  Amir Pnueli Pioneer of Temporal Logic, Dies at 68  " , The New York Times , 14. november 2009.
  3. Joseph-Fourier University - Grenoble 1.

Eksterne linker