Amir Pnueli
| Amir Pnueli אמיר פנואלי | |
|---|---|
 Amir Pnueli | |
| Narození | 22. dubna 1941 Nahalal, Britský mandát Palestina (nyní Izrael) |
| Úmrtí | 2. listopadu 2009 (ve věku 68 let) New York, Spojené státy |
| Státní příslušnost |  Izrael |
| Alma mater | Technion Weizmannův institut věd |
| Pracoviště | Weizmannův institut věd New York University |
| Obor | informatika |
| Ocenění | Izraelská cena (2002) Turingova cena (1996) |
| Web | www |
Některá data mohou pocházet z datové položky. | |
Profesor Amir Pnueli (hebrejsky: אמיר פנואלי; žil 22. dubna 1941 – 2. 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ěd v Rechovotu. 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 University v New 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.
- ↑ a b c d CHANG, Kenneth. Amir Pnueli, Pioneer of Temporal Logic, Dies at 68. New York Times. 14. listopad 2009. Dostupné online. (anglicky)
- ↑ NYU Computer Science Professor Amir Pnueli, 68 [online]. Dr. Dobb's, 2009-11-05. Dostupné online. (anglicky)
- ↑ NYU Professor Amir Pnueli, 68, Distinguished Computer Scientist [online]. Katedra informatiky, New York University. Dostupné online. (anglicky)
Externí odkazy[editovat | editovat zdroj]
Obrázky, zvuky či videa k tématu Amir Pnueli na Wikimedia Commons - (anglicky) New York University – Biografie Amira Pnueliho Archivováno 6. 3. 2009 na Wayback Machine.
- (anglicky) Weizmannův institut věd – Biografie Amira Pnueliho
- Izraelští informatici
- Nositelé Turingovy ceny
- Nositelé Izraelské ceny
- Absolventi Technionu – Izraelského technologického institutu
- Pedagogové na Telavivské univerzitě
- Členové Izraelské akademie věd a klasického vzdělávání
- Pedagogové na Weizmannově institutu věd
- Židovští informatici
- Narození v roce 1941
- Narození 22. dubna
- Úmrtí v roce 2009
- Úmrtí 2. listopadu
- Úmrtí v New Yorku