Зохар Манна (івр. זוהר מנה‎; англ. Zohar Manna, *1939) — ізраїльський та американський науковець в галузі інформатики, професор Стенфордського університету.

Зохар Манна
івр. זוהר מנה
Народився 1939(1939)
Хайфа, Ізраїль[1]
Помер 30 серпня 2018(2018-08-30)[5][6][7] (79 років)
Нетанья
Місце проживання США США
Країна Flag of the United States.svg США
Flag of Israel.svg Ізраїль
Діяльність викладач університету, інформатик, інженер
Alma mater Техніон,
Університет Карнегі-Меллон
Галузь інформатика, програмування
Заклад Стенфордський університет,
Науково-дослідний інститут імені Вейцмана
Науковий керівник Роберт Флойд,
Алан Перліс[2]
Відомі учні Аді Шамір
Нагороди Грант Ґуґґенхайма (1981)[3],
Премія Ербрана[en] (2016)[4]
Особ. сторінка theory.stanford.edu/~zm/
Див. також: Манна (значення)

БіографіяРедагувати

Народився та виріс у місті Хайфа, Ізраїль. Вивчав математику в Техніоні, отримавши ступінь бакалавра 1962 та ступінь магістра 1965 року. Працював програмістом у збройних силах Ізраїлю в 1962—1964 рр. Продовжив навчання в університеті Карнегі-Меллон, де вивчав інформатику та 1968 року захистив дисертацію на ступінь доктора під керівництвом лауреатів премії Тюрінга Роберта Флойда та Алана Перліса.[1]

ПідручникиРедагувати

  • Manna, Zohar; Pnieli, Amir (1992). The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag. ISBN 978-0387976648.  (англ.)
  • Manna, Zohar; Pnieli, Amir (1995). Temporal Verification of Reactive Systems: Safety. Springer-Verlag. ISBN 978-0387944593.  (англ.)
  • Manna, Zohar (2003). Mathematical Theory of Computation. Dover. ISBN 978-0486432380.  (англ.)
  • Manna, Zohar; Waldinger, Richard (1993). The Deductive Foundations of Computer Programming. Addison-Wesley Professional. ISBN 978-0201548860.  (англ.)
  • Manna, Zohar; Waldinger, Richard (1985). The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning. Addison-Wesley Professional. ISBN 978-0201182606.  (англ.)

ПублікаціїРедагувати

ПриміткиРедагувати

ПосиланняРедагувати