Zohar Manna

Zohar Manna (* 17. január 1939, Haifa, Izrael – † 30. august 2018, Netanya, Izrael) bol americký informatik a profesor na Stanfordovej univerzite.

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. Získané z Wikipedie