Zohar Manna was an Israeli-American computer scientist who was a professor of computer science at Stanford University. Wikipedia
Born: January 17, 1939, Haifa, Israel
Died: August 30, 2018 (age 79 years)
Notable students: Thomas A. Henzinger, Nachum Dershowitz, Martín Abadi, and more
Academic advisors: Robert W. Floyd and Alan Perlis
Education: Carnegie Mellon University (1968)
Books
The Calculus of Computation: Decision Procedures with Applications to Verification
2007
Introduction to mathematical theory of computation
1972
Temporal Verification of Reactive Systems: Safety
1995
The Temporal Logic of Reactive and Concurrent Systems: Specification
1992
The logical basis for computer programming
1985
The deductive foundations of computer programming
1991