Zohar Manna
Zohar Manna 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 and Master of Science degrees from the Technion – Israel Institute of Technology.He attended Carnegie Mellon University and earned his Doctor of Philosophy 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 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, The Temporal Logic of Reactive and Concurrent Systems: Safety and The Temporal Logic of Reactive and Concurrent Systems: Progress.
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.