Amir Pnueli - Amir Pnueli
Amir Pnueli | |
---|---|
narozený |
|
22. dubna 1941
Zemřel | 02.11.2009 |
(ve věku 68)
Státní příslušnost | izraelský |
Ocenění |
Turingova cena (1996) Izraelská cena |
Vědecká kariéra | |
Pole | Počítačová věda |
Instituce |
Stanford University Tel Aviv University Weizmann Institute New York University |
Amir Pnueli ( hebrejsky : אמיר פנואלי ; 22. dubna 1941 - 2. listopadu 2009) byl izraelský počítačový vědec a držitel ceny Turing Award 1996 .
Životopis
Pnueli se narodil v Nahalalu v britském mandátu Palestiny (nyní v Izraeli ) a získal bakalářský titul z matematiky na Technionu v Haifě a Ph.D. z aplikované matematiky z Weizmannova institutu vědy . Jeho práce byla na téma „Výpočet přílivu a odlivu v oceánu“. Na počítačovou vědu přešel během působení jako postdoktorand na Stanfordské univerzitě . Jeho práce v počítačové vědě se zaměřily na dočasnou logiku a kontrolu modelů , zejména pokud jde o vlastnosti spravedlnosti souběžných systémů .
Vrátil se do Izraele jako badatel; byl zakladatelem a prvním předsedou katedry informatiky na univerzitě v Tel Avivu . V roce 1981 se stal profesorem počítačové vědy na Weizmannově institutu . Od roku 1999 až do své smrti zastával Pnueli také místo na katedře informatiky na New York University , New York , USA .
Pnueli během své kariéry také založil dvě začínající technologické společnosti. Měl tři děti a po jeho smrti měl čtyři vnoučata.
Pnueli zemřel 2. listopadu 2009 na krvácení do mozku .
Ocenění a vyznamenání
- V roce 1996 obdržel Pnueli Turingovu cenu za klíčovou práci zavádějící časovou logiku do počítačové vědy a za vynikající příspěvky k ověřování programů a systémů .
- 30. května 1997 obdržel Pnueli čestný doktorát na Fakultě vědy a technologie na univerzitě v Uppsale ve Švédsku .
- V roce 1999 byl uveden jako zahraniční spolupracovník Americké národní akademie inženýrství.
- V roce 2000 mu byla udělena Izraelská cena za informatiku.
- V roce 2007 byl uveden jako člen Asociace pro výpočetní techniku .
- Weizmann Institute of Science uvádí pamětní sérii přednášek na jeho počest. [1]
Viz také
Reference
externí odkazy
- Domovská stránka New York University
- Domovská stránka institutu Weizmann
- Amir Pnueli na DBLP Bibliografie Server