Zohar Manna
Zohar Manna (* 17. január 1939, Haifa, Izrael[1] – † 30. august 2018, Netanya, Izrael)[2] bol americký informatik a profesor na Stanfordovej univerzite.
Zohar Manna | |
americký informatik | |
Narodenie | 17. január 1939 Haifa, Izrael |
---|---|
Úmrtie | 30. august 2018 (79 rokov) Netanya, Izrael |
Alma mater | Izraelský technologický inštititút - Technion Carnegie Mellon University |
Manželka | Nitza Kletchevsky (1963 – 2018) |
Deti | 4 |
Je známy predovšetkým ako autor knihy The Mathematical Theory of Computation vydanej v roku 1974, jednej z prvých kníh poskytujúcich systematický výklad matematickej teórie programovania. Je autorom aj viacerých iných kníh, najmä o teórii programovania a temporálnej logike.