Amir Pnueli

Amir Pnueli Kép az Infoboxban. Amir Pnueli professzor 2005 januárjában. Életrajz
Születés 1941. április 22
Nahalal
Halál 2009. november 2(68 évesen)
New York
Állampolgárság izraeli
Kiképzés Technion
Institut Weizmann
Tevékenységek Számítástechnikus , mérnök , oktató , egyetemi tanár , matematikus
Egyéb információk
Dolgozott valakinek New York-i Egyetem , Tel-Avivi Egyetem , Tandon School of Engineering a New York-i Egyetemen
Terület Számítástechnika
Tagja valaminek Izraeli Tudományos Akadémia és Betűszövetség
a Számítástechnikai gépekért
Egyesült Államok Nemzeti Mérnöki Akadémia (1999)
Felügyelő Chaim L. Pekeris ( in )
Weboldal www.wisdom.weizmann.ac.il/~amir
Díjak Turing-díj (1996)

Amir Pnueli ( héberül  : אמיר פנואלי ) izraeli számítógépes tudós , 1941. április 22 és meghalt a 2009. november 2a vérzés intracerebrális .

Elnyerte a Turing-díjat és az Izrael-díjat .

Életrajz

Amir Pnueli született Moshav Nahalált a 1941 . Apja, aki tanár volt, megalapította a Tel Avivi Egyetem Héber Irodalmi Tanszékét . 1945-ben családja Holonba költözött . Matematikát tanult a haifai Technionban , majd doktorált a Rehovot-i Weizmann Intézetben , Haïm Leib Pekeris professzor felügyelete alatt .

Amir Pnueli 1996-ban megkapta a Turing-díjat "az időbeli logikát a számítástechnikába bevezető alapítványi munkáért, valamint a programok és rendszerek ellenőrzéséhez nyújtott kiemelkedő hozzájárulásért". Munkája elsősorban az élénkség és a méltányosság fogalmára összpontosított a párhuzamos rendszerekben, valamint azok integrációjára a modellellenőrzési technikákba . 1998-ban megkapta a címet díszdoktora a University Joseph Fourier-- Grenoble 1 .

Amir Pnueli nemrégiben professzor a Weizmann Institute in Israel és a New York University , Amerikai Egyesült Államok .

Hivatkozások

  1. Weizman Intézet Matematikai és Számítástudományi Kar , 2009. november 3 .: "  Mély fájdalommal jelentjük be Amir Pnueli professzor halálát 2009. november 2-án.  "
  2. (in) "  Amir Pnueli, az időbeli logika úttörője, 68 évesen meghal  " , The New York Times , 2009. november 14.
  3. Joseph-Fourier Egyetem - Grenoble 1.

Külső linkek