Amir Pnueli

Amir Pnueli Obrázek v Infoboxu. Profesor Amir Pnueli v lednu 2005. Životopis
Narození April 22 , 1941
Nahalal
Smrt 2. listopadu 2009(68)
New York
Státní příslušnost izraelský
Výcvik Technion
Institut Weizmann
Činnosti Počítačový vědec , inženýr , pedagog , vysokoškolský profesor , matematik
Jiná informace
Pracoval pro New York University , Tel Aviv University , Tandon School of Engineering na University of New York
Pole Počítačová věda
Člen
Asociace izraelské akademie věd a dopisů pro výpočetní techniku
USA National Academy of Engineering (1999)
Dozorce Chaim L. Pekeris ( v )
webová stránka www.wisdom.weizmann.ac.il/~amir
Ocenění Turingova cena (1996)

Amir Pnueli ( hebrejsky  : אמיר פנואלי ) je izraelský počítačový vědec narozený April 22 , 1941 a mrtvý 2. listopadu 2009krvácení intracerebrální .

Získal Turingovu cenu a Izraelskou cenu .

Životopis

Amir Pnueli se narodil v Moshav Nahalal v roce 1941 . Její otec, který byl učitelem, založil na univerzitě v Tel Avivu oddělení hebrejské literatury . V roce 1945 se jeho rodina přestěhovala na Holon . Vystudoval matematiku na Technionu v Haifě , poté dokončil doktorát na Weizmannově institutu v Rehovotu pod vedením profesora Haima Leiba Pekerise .

Amir Pnueli obdržel Turingovu cenu v roce 1996 za „klíčovou práci zavádějící časovou logiku do informatiky a za vynikající zásluhy při ověřování programů a systémů“. Jeho práce se zaměřila zejména na pojmy živost a spravedlnost v souběžných systémech a jejich integraci do technik kontroly modelu . V roce 1998 získal titul doctor honoris causa na univerzitě Joseph-Fourier - Grenoble 1 .

Amir Pnueli byl nedávno profesorem na Weizmann Institute v Izraeli a na New York University ve Spojených státech amerických .

Reference

  1. Weizman Institute Fakulta matematiky a informatiky , 3. listopadu 2009: „  S hlubokým zármutkem oznamujeme zánik profesora Amira Pnueliho 2. listopadu 2009.  “
  2. (in) „  Amir Pnueli Pioneer of Temporal Logic, Dies at 68  “ , The New York Times , 14. listopadu 2009.
  3. Joseph-Fourier University - Grenoble 1.

externí odkazy