Зохар Манна

Зохар Манна

ивр. זוהר מנה; англ. Zohar Manna

Дата рождения

17 января 1939 года

Место рождения

Хайфа, Подмандатная Палестина

Дата смерти

30 августа 2018 года

Место смерти

Нетания, Израиль

Научная сфера

информатика

Научный руководитель

Алан Джей Перлис

Зохар Манна — информатик.

Карьера

В 1962 году получил степень бакалавра, а в 1965 году — степень магистра в Техниона.

В 1962—1964 годах — программист в ЦАХАЛе.

В 1968 году стал доктором наук в области компьютерных наук в университете Карнеги-Меллон.

В 1968—1972 годах преподавал в Стэнфордском университете.

В 1972—1995 годах преподавал в Институте Вейцмана. Среди его учеников был Ади Шамир.

В 1978—2010 годах — профессор Стэнфордского университета.

В 1994 году — член Ассоциации вычислительной техники.

Со своей супругой имел четверо детей.

Труды

• Manna, Zohar. The Temporal Logic of Reactive and Concurrent Systems: Specification / Zohar Manna, Pnieli. — Springer-Verlag, 1992. — ISBN 978-0387976648.
• Manna, Zohar. Temporal Verification of Reactive Systems: Safety / Zohar Manna, Pnieli. — Springer-Verlag, 1995. — ISBN 978-0387944593.
• Manna, Zohar. Mathematical Theory of Computation. — Dover, 2003. — ISBN 978-0486432380.
• Manna, Zohar. The Deductive Foundations of Computer Programming / Zohar Manna, Waldinger. — Addison-Wesley Professional, 1993. — ISBN 978-0201548860.
• Manna, Zohar. The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning / Zohar Manna, Waldinger. — Addison-Wesley Professional, 1985. — ISBN 978-0201182606.
• (Jan. 1980) «A Deductive Approach to Program Synthesis». ACM Transactions on Programming Languages and Systems (TOPLAS) (ACM) 2 (1): 90-121.