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 

Kategória:Narodenia v 1941
Kategória:Úmrtia v 2009
Kategória:Držitelia Turingovej ceny
Kategória:Izraelskí informatici
Kategória:Informatici židovského pôvodu
Kategória:Nositelia ACM Software System Award