Zohar Manna (1939 – 30 de agosto de 2018) [1] fue un científico informático israelí-estadounidense que fue profesor de informática en la Universidad de Stanford .
Nació en Haifa , Israel . Obtuvo su licenciatura en Ciencias (BS) y maestría en Ciencias (MS) en el Technion, Instituto Tecnológico de Israel .
Asistió a la Universidad Carnegie Mellon y obtuvo su Doctorado en Filosofía (PhD) en Ciencias de la Computación en 1968.
Manna regresó a Israel en 1972 como profesor de matemáticas aplicadas en el Instituto de Ciencias Weizmann . Se convirtió en profesor titular en Stanford en 1978. Permaneció afiliado al Instituto de Ciencias Weizmann hasta 1995. Continuó trabajando como profesor de Stanford hasta su jubilación en 2010.
Fue autor de nueve libros. The Mathematical Theory of Computation (McGraw Hill, 1974; reimpreso en Dover, 2003) es uno de los primeros textos que ofrece una amplia cobertura de los conceptos matemáticos que sustentan la programación informática.
Junto con Amir Pnueli , fue coautor de una trilogía inacabada de libros de texto sobre lógica temporal y verificación de sistemas reactivos: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal Logic of Reactive and Concurrent Systems: Safety (Springer-Verlag, 1995) y The Temporal Logic of Reactive and Concurrent Systems: Progress (inédito; los primeros tres capítulos publicados en http://theory.stanford.edu/~zm/tvors3.html).
Junto con Aaron R. Bradley fue coautor de un libro de texto, The Calculus of Computation, que sirve como introducción tanto a la lógica de primer orden como a la verificación formal . [2]
En 1994, fue incluido como miembro de la Association for Computing Machinery . En 2016, compartió el Premio Herbrand con Richard Waldinger por su "investigación pionera y contribuciones pedagógicas (con Richard Waldinger) al razonamiento automatizado, la síntesis de programas, la planificación y los métodos formales" . [3] Recibió el Premio Bauer de la Universidad Técnica de Múnich y un doctorado honorario de la École Normale Supérieure de Cachan .
Supervisó a 30 estudiantes de doctorado, entre ellos Nachum Dershowitz , Adi Shamir , Thomas Henzinger , Pierre Wolper y Martín Abadi .