Amir Pnueli

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání
Amir Pnueli
אמיר פנואלי
Amir Pnueli
Amir Pnueli
Narozen 22. dubna 1941
Nahalal, Britský mandát Palestina (nyní Izrael)
Zemřel 2. listopadu 2009
New York, Spojené státy
Státní příslušnost Izrael Izrael
Alma mater Technion
Weizmannův institut věd
Pracoviště Weizmannův institut věd
New York University
Obor informatika
Získaná ocenění Izraelská cena (2002)
Turingova cena (1996)

Profesor Amir Pnueli (hebrejsky: אמיר פנואלי; žil 22. dubna 19412. listopadu 2009) byl izraelský informatik. Za jeho přínos v oblasti temporální logiky a ověřování programů a systémů mu byla v roce 1996 udělena Turingova cena.

Biografie[editovat | editovat zdroj]

Narodil se v mošavu Nahalal ještě za dob britské mandátní Palestiny a vystudoval bakalářský obor matematiky na haifském Technionu a posléze doktorský obor aplikované matematiky na Weizmannově institutu vědRechovotu. Jeho dizertační práce byla sepsána na téma „Výpočet přílivů a odlivů v oceánu“ (Calculation of Tides in the Ocean). Během svého působení na Stanfordově univerzitě se začal zabývat informatikou. Jeho práce v oboru informatiky byly zaměřené na temporální logiku a kontrolu modelů (model checking), zejména pokud jde o správnost vlastností současných systémů.[1]

Do Izraele se vrátil jako vědec. Založil katedru informatiky na Telavivské univerzitě a stal se jejím prvním vedoucím. V roce 1981 se stal profesorem na Weizmannově institutu věd v Rechovotu. Od roku 1999 až do své smrti byl rovněž členem katedry informatiky na New York UniversityNew Yorku.[1]

Pnueli rovněž založil dvě firmy zaměřující se na počítačové technologie. Měl tři děti a v době své smrti čtyři vnoučata.[1] Zemřel 2. listopadu 2009 na krvácení do mozku.[1][2][3]

Ocenění[editovat | editovat zdroj]

  • V roce 1996 byla Pnuelimu udělena Turingova cena za „seminární práci zavádějící temporální logiku do informatiky a za mimořádný přínos v ověřování programů a systémů.“
  • V roce 1999 se stal zahraničním spolupracovníkem americké Národní akademie inženýrství.
  • V roce 2002 mu byla udělena Izraelská cena za informatiku.
  • V roce 2007 se stal vědeckým pracovníkem Association for Computing Machinery.

Odkazy[editovat | editovat zdroj]

Reference[editovat | editovat zdroj]

V tomto článku byl použit překlad textu z článku Amir Pnueli na anglické Wikipedii.

  1. a b c d CHANG, Kenneth. Amir Pnueli, Pioneer of Temporal Logic, Dies at 68. New York Times. 14. listopad 2009. Dostupné online. (anglicky) 
  2. NYU Computer Science Professor Amir Pnueli, 68 [online]. Dr. Dobb's, 2009-11-05. Dostupné online. (anglicky) 
  3. NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist [online]. Katedra informatiky, New York University. Dostupné online. (anglicky) 

Externí odkazy[editovat | editovat zdroj]