Zohar Manna (1939 - 30 de agosto de 2018) [1] fue un 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 su Maestría en Ciencias (MS) del Technion – Instituto de Tecnología de Israel .
Asistió a la Universidad Carnegie Mellon y obtuvo su Doctorado en Filosofía (PhD) en informática en 1968.
Manna regresó a Israel en 1972 como profesor de matemáticas aplicadas en el Instituto Weizmann de Ciencias . Se convirtió en profesor titular en Stanford en 1978. Permaneció afiliado al Instituto Weizmann de Ciencias hasta 1995. Continuó trabajando como profesor de Stanford hasta su jubilación en 2010.
Es autor de nueve libros. La Teoría Matemática de la Computación (McGraw Hill, 1974; reimpreso Dover, 2003) es uno de los primeros textos que proporciona una cobertura amplia de los conceptos matemáticos detrás de la programación informática.
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: Especificación (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).
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 admitido 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 Munich , 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 .