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.
| 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 | ||
| Odkazy | |||
| Webstránka | ac.il | ||
| Commons |  Amir Pnueli | ||
| |||
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.