Amir Pnueli
z Wikipédie, slobodnej encyklopédie
| Amir Pnueli | |
 izraelský informatik |
|
| Narodenie | 22. apríl 1941 Nahalal, Izrael, vtedy Britský mandát Palestína |
|---|---|
| Úmrtie | 2. november 2009 (68 rokov) New York, USA |
| Odkazy | |
| Webstránka | ac.il |
| Commons |  Amir Pnueli |
Amir Pnueli (* 22. apríl 1941, Nahalal, Izrael, vtedy Britský mandát Palestína - † 2. november 2009, New York, USA) bol izraelský informatik. Zaoberal sa najmä temporálnou logikou a overovaním modelov, ako aj verifikáciou programov. Za prácu v týchto odvetviach informatiky dostal v roku 1996 Turingovu cenu.
Iné projekty[upraviť | upraviť zdroj]
Commons ponúka multimediálne súbory na tému Amir Pnueli
 |
Tento článok týkajúci sa biografie osobnosti je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |
