Amir Pnueli

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání
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]