Amir Pnueli

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

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]