Preskočiť na obsah

Amir Pnueli

z Wikipédie, slobodnej encyklopédie
Amir Pnueli
izraelský informatik
izraelský informatik
Narodenie22. apríl 1941
Nahalal, Izrael, vtedy Britský mandát Palestína
Úmrtie2. november 2009 (68 rokov)
New York, USA
Odkazy
Webstránkaac.il
CommonsSpolupracuj na 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]
  • Spolupracuj na Commons Commons ponúka multimediálne súbory na tému Amir Pnueli