Il était professeur à l'université Stanford. Il est réputé comme l'auteur du livre The Mathematical Theory of Computation, qui est l'un des premiers ouvrages à développer les concepts mathématiques qui sont à la base de la programmation en informatique.
Sa recherche porte notamment sur la logique des programmes, la logique temporelle et ses applications à la vérification de systèmes réactifs. Il a dirigé de nombreuses thèses. Parmi ses élèves figurent[3],[4]Ashok K. Chandra, Jean Vuillemin, Shmuel Katz, Adi Shamir, Nachum Dershowitz, Pierre Wolper, Martín Abadi, Thomas Henzinger, Nikolaj Bjorner, Henny Sipma, Bernd Finkbeiner, Sriram Sankaranarayanan, Aaron Bradley.
Les deux livres avec Amir Pnueli (Manna et Pnueli 1992) et (Manna et Pnueli 1995) font partie d'une trilogie dont le troisième volume, avec le titre The temporal logic of reactive and concurrent systems : progress, n'a pas été achevé. Les trois premiers chapitres de ce volumes peuvent être lus en ligne[5].
(en) Aaron R. Bradley et Zohar Manna, The calculus of computation : decision procedures with applications to verification, Berlin, Springer, , XV+366 (ISBN978-3-540-74112-1, DOI10.1007/978-3-540-74113-8)
(en) Zohar Manna, The mathematical theory of computation, Dover, , 464 p. (ISBN978-0486432380): Réimpression de : The mathematical theory of computation, McGraw Hill,
(en) Zohar Manna et Richard J. Waldinger, The deductive foundations of computer programming, Addison-Wesley, , XIV+717 (ISBN978-0-201-54886-0) (Une version en un seul volume de The logical basis for computer programming
(en) Zohar Manna, Richard J. Waldinger et Johar Manna, The logical basis for computer programming. Volume 1: deductive reasoning, Addison-Wesley, (ISBN0-201-18260-2)
(en) Zohar Manna et Richard J. Waldinger, The logical basis for computer programming. Volume 2:deductive systems, Addison-Wesley, (ISBN978-0201182613)
(en) Zohar Manna et Amir Pnueli, The temporal logic of reactive and concurrent systems : specification, Springer, , XIV+427 (ISBN978-3-540-97664-6)
(en) Zohar Manna et Amir Pnueli, Temporal verification of reactive systems: safety, Springer, , XV+512 (ISBN978-0-387-94459-3)