Зохар Манна

Материал из Циклопедии
Перейти к: навигация, поиск

Зохар Манна

ивр. זוהר מנה; англ. Zohar Manna
Zohar Manna.jpg
Дата рождения 17 января 1939 года
Место рождения Хайфа, Подмандатная Палестина
Дата смерти 30 августа 2018 года
Место смерти Нетания, Израиль




Научная сфера информатика



Научный руководитель Алан Джей Перлис





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

[править] Карьера

В 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.

[править] Источники

  1. Википедия
Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты