Zohar Manna

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

Zohar Manna

Zohar Manna (Hebrew: זהר מנה) was an Israeli-American computer scientist and a professor at Stanford University. He was born in 1939 in Haifa, Mandatory Palestine, and he died on August 30, 2018. He is known for his work in computer science, especially in formal methods, verification, and temporal logic.

Biography
- Education: BS and MS from Technion – Israel Institute of Technology; PhD in computer science from Carnegie Mellon University in 1968.
- Career: Returned to Israel in 1972 as a professor of applied mathematics at the Weizmann Institute of Science. Became a full professor at Stanford University in 1978 and remained affiliated with the Weizmann Institute until 1995. He continued to work at Stanford until his retirement in 2010.

Books
- The Mathematical Theory of Computation (McGraw-Hill, 1974; reprinted by Dover, 2003): one of the first books to cover the mathematical ideas behind computer programming.
- With Amir Pnueli, an unfinished trilogy on temporal logic and verification of reactive systems: The Temporal Logic of Reactive and Concurrent Systems: Specification (1991), The Temporal Logic of Reactive and Concurrent Systems: Safety (1995), and The Temporal Logic of Reactive and Concurrent Systems: Progress (unpublished; first three chapters available online).
- The Calculus of Computation (with Aaron R. Bradley): an introduction to first-order logic and formal verification.

Awards
- Fellow of the Association for Computing Machinery (1994).
- Herbrand Award (2016), shared with Richard Waldinger, for pioneering contributions to automated reasoning, program synthesis, planning, and formal methods.
- Bauer Prize from the Technical University of Munich.
- Honorary Doctorate from École Normale Supérieure de Cachan.

Advising
- Supervised about 30 doctoral students, including Nachum Dershowitz, Adi Shamir, Thomas Henzinger, Pierre Wolper, and Martín Abadi.

See also
- Temporal logic
- Reactive systems
- Concurrency in computer science

External links
- Official website: theory.stanford.edu/~zm