Amir Pnueli

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.wisdom.weizmann.ac.il/~amir/
	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

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í

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

Reference

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

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

[nyt-1] 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)

[1]

[2]

[3]