Scienceזהר מנה

Zohar Manna

Zohar Manna was an Israeli-American computer scientist and a professor of computer science at Stanford University and the Weizmann Institute of Science.

1939 to 2018Temporal logic and program verificationThe Mathematical Theory of ComputationThe Dershowitz-Manna ordering

Born: 17 January 1939, Haifa
Died: 30 August 2018, Netanya
Occupation: university teacher, computer scientist, engineer
Education: Carnegie Mellon University, Technion – Israel Institute of Technology

Zohar Manna was born in 1939 in Haifa

Zohar Manna was born in Haifa in 1939 and grew up there. He joined the IDF through the academic reserve program.

He earned a bachelor's degree in mathematics from the Technion in 1962 and a master's degree in 1965. He received his PhD in computer science from Carnegie Mellon University in 1968, under Alan Perlis and Robert Floyd.

He taught at Stanford from 1968 to 1972, then joined the Weizmann Institute, where he stayed until 1995. He became a full professor at Stanford in 1978 and retired from there in 2010. His research covered temporal logic, automated proof, program synthesis and software and hardware verification.

He wrote nine books, including The Mathematical Theory of Computation in 1974 and books on temporal logic with Amir Pnueli. He supervised 30 doctoral students, among them Adi Shamir and Nachum Dershowitz.

He died on 30 August 2018 and was buried in Netanya. He was survived by his wife Nitza and four children.