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šnostIzraelIzrael Izrael
Alma materTechnion
Weizmannův institut věd
PracovištěWeizmannův institut věd
New York University
Oborinformatika
OceněníIzraelská cena (2002)
Turingova cena (1996)
Webwww.wisdom.weizmann.ac.il/~amir/
Některá data mohou pocházet z datové položky.

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

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í

  • 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.

  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

Média použitá na této stránce

Amir Pnueli.jpg
Autor: David Monniaux, Licence: CC BY-SA 1.0
Pr Amir Pnueli, 1996 Turing Award laureate