Informácie o autorovi

Manna, Zohar

Dátum narodenia: 1939

Dátum úmrtia: 2018

Popis:

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.