Zohar Manna
engineer
- January 17, 1939
- August 30, 2018
- 79 years
About Zohar Manna
Zohar Manna, 79, Israeli computer scientist.
Explore other notable deaths in 2018 or deaths in August 2018.
The Deaths Archive presents
How well do you know Zohar Manna?
Explore their life. Test your knowledge. Beat the challenge.
10 questions · One legacy · How much do you really know?
Challenge your friends
Play together in real-time.
Advertisement
Full Biography
|Zohar Manna (Hebrew: זהר מנה; 1939 – 30 August 2018) was an Israeli-American computer scientist who was a professor of computer science at Stanford University.
Biography
He was born in Haifa, Mandatory Palestine in 1939. He earned his Bachelor of Science (BS) and Master of Science (MS) degrees from the Technion – Israel Institute of Technology.
He attended Carnegie Mellon University and earned his Doctor of Philosophy (PhD) in computer science in 1968.
Manna returned to Israel in 1972 as a professor of applied mathematics at the Weizmann Institute of Science. He became a full professor at Stanford in 1978. He remained affiliated with the Weizmann Institute of Science until 1995. He continued to work as a Stanford professor until retirement in 2010.
Books
He authored nine books. The Mathematical Theory of Computation (McGraw Hill, 1974; reprinted Dover, 2003) is one of the first texts to provide extensive coverage of the mathematical concepts behind computer programming.
With Amir Pnueli, he co-authored an unfinished trilogy of textbooks on temporal logic and verification of reactive systems: The Temporal Logic of Reactive and Concurrent Systems: Specification (Springer-Verlag, 1991), The Temporal Logic of Reactive and Concurrent Systems: Safety (Springer-Verlag, 1995) and The Temporal Logic of Reactive and Concurrent Systems: Progress (unpublished; first three chapters posted at http://theory.stanford.edu/~zm/tvors3.html).
With Aaron R. Bradley he co-authored a textbook, The Calculus of Computation, that serves as an introduction to both first-order logic and formal verification.
Awards
In 1994, he was inducted as a Fellow of the Association for Computing Machinery. In 2016, he shared the Herbrand Award with Richard Waldinger for his ″pioneering research and pedagogical contributions (with Richard Waldinger) to automated reasoning, program synthesis, planning, and formal methods″. He received the Bauer Prize from the Technical University of Munich, and an honorary doctorate from the École Normale Supérieure de Cachan.
Advising
He supervised 30 doctoral students, including Nachum Dershowitz, Adi Shamir, Thomas Henzinger, Pierre Wolper, and Martín Abadi.
Content from Wikipedia — licensed under CC BY-SA 3.0
Interactive
Test Your Knowledge – Trivia Challenge
How well do you know this person's life and legacy?
No account needed to play. Sign in to keep your score on the leaderboard.
Books & Media
Find books, audiobooks and films about Zohar Manna on Amazon.
As an Amazon Associate I earn from qualifying purchases.
Amazon and the Amazon logo are trademarks of Amazon.com, Inc. or its affiliates.
Sources
- Wikipedia
- https://en.wikipedia.org/wiki/Zohar_Manna
- CC BY-SA 4.0
- Sep 26, 2026
- View article
- View record
- October 9, 2026
- Sep 26, 2026
Trivia & Knowledge· 16 questions
Questions drawn from Zohar Manna's archived record and the sources above.
1.In what city was Zohar Manna born in 1939?
- A.Haifacorrect
- B.Jerusalem
- C.Beer Sheva
- D.Tel Aviv
Zohar Manna was born in Haifa, Mandatory Palestine in 1939.
Source: Biography section
2.Which university awarded Zohar Manna his Doctor of Philosophy in 1968?
- A.Carnegie Mellon Universitycorrect
- B.Stanford University
- C.Weizmann Institute of Science
- D.Technion – Israel Institute of Technology
Zohar Manna attended Carnegie Mellon University and earned his Doctor of Philosophy in computer science in 1968.
Source: Biography section
3.What title did Zohar Manna hold at Stanford University starting in 1978?
- A.Assistant Professor
- B.Professor Emeritus
- C.Associate Professor
- D.Full Professorcorrect
Zohar Manna became a full professor at Stanford University in 1978.
Source: Biography section
4.Until what year did Zohar Manna remain affiliated with the Weizmann Institute of Science?
- A.2000
- B.1990
- C.1995correct
- D.1985
Zohar Manna remained affiliated with the Weizmann Institute of Science until 1995.
Source: Biography section
5.How many books did Zohar Manna author throughout his career?
- A.Seven
- B.Ninecorrect
- C.Eight
- D.Ten
The biography states that Zohar Manna authored nine books.
Source: Books section
6.Which publisher released the 1974 edition of The Mathematical Theory of Computation by Zohar Manna?
- A.Oxford University Press
- B.Springer-Verlag
- C.Dover
- D.McGraw Hillcorrect
The Mathematical Theory of Computation was published by McGraw Hill in 1974.
Source: Books section
7.With whom did Zohar Manna co-author the unfinished trilogy on temporal logic?
- A.Aaron R. Bradley
- B.Richard Waldinger
- C.Nachum Dershowitz
- D.Amir Pnuelicorrect
Zohar Manna co-authored an unfinished trilogy of textbooks on temporal logic with Amir Pnueli.
Source: Books section
8.Which textbook co-authored by Zohar Manna serves as an introduction to first-order logic and formal verification?
- A.The Calculus of Computationcorrect
- B.The Mathematical Theory of Computation
- C.Automated Reasoning in Logic
- D.The Temporal Logic of Reactive and Concurrent Systems
The Calculus of Computation, co-authored by Zohar Manna and Aaron R. Bradley, serves as an introduction to first-order logic and formal verification.
Source: Books section
9.In what year was Zohar Manna inducted as a Fellow of the Association for Computing Machinery?
- A.1992
- B.1996
- C.1990
- D.1994correct
Zohar Manna was inducted as a Fellow of the Association for Computing Machinery in 1994.
Source: Awards section
10.With whom did Zohar Manna share the Herbrand Award in 2016?
- A.Thomas Henzinger
- B.Amir Pnueli
- C.Richard Waldingercorrect
- D.Aaron R. Bradley
In 2016, Zohar Manna shared the Herbrand Award with Richard Waldinger for his pioneering research.
Source: Awards section
11.From which institution did Zohar Manna receive an honorary doctorate?
- A.Technical University of Munich
- B.École Normale Supérieure de Cachancorrect
- C.Technion
- D.Stanford University
Zohar Manna received an honorary doctorate from the École Normale Supérieure de Cachan.
Source: Awards section
12.How many doctoral students did Zohar Manna supervise?
- A.20
- B.30correct
- C.25
- D.35
Zohar Manna supervised 30 doctoral students during his academic career.
Source: Advising section
13.Which of the following individuals was supervised by Zohar Manna?
- A.Richard Waldinger
- B.Amir Pnueli
- C.Adi Shamircorrect
- D.Aaron R. Bradley
Adi Shamir is listed as one of the 30 doctoral students supervised by Zohar Manna.
Source: Advising section
14.In what year did Zohar Manna retire from his position at Stanford?
- A.2005
- B.2010correct
- C.2008
- D.2012
Zohar Manna continued to work as a Stanford professor until his retirement in 2010.
Source: Biography section
15.When did Zohar Manna pass away?
- A.30 August 2018correct
- B.30 August 2017
- C.30 August 2016
- D.30 August 2019
Zohar Manna passed away on 30 August 2018.
Source: Biography section
16.Which of the following topics is explicitly listed in the 'See also' section regarding Zohar Manna's work?
- A.Reactive systemscorrect
- B.Neural Networks
- C.Software Engineering
- D.Artificial Intelligence
Reactive systems is listed in the 'See also' section of Zohar Manna's biography.
Source: See also section
People who died on August 30
Related People
Spotted an error?
Help us keep the archive accurate. Report a correction with a source.
Report an error for Zohar Manna →Advertisement
