Amir Pnueli

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie
Amir Pnueli
izraelský informatik
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 Spolupracuj 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]