Зохар Манна

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку
Зохар Манна
івр. זוהר מנה
Народився1939(1939)
Хайфа, Ізраїль[1]
Помер30 серпня 2018(2018-08-30)[5][6][7] (79 років)
Нетанья, HaSharon subdistrictd, Центральний округ, Ізраїль
Місце проживанняСША США
Країна США
 Ізраїль
Діяльністьвикладач університету, інформатик, інженер
Alma materТехніон,
Університет Карнегі-Меллон
Галузьінформатика, програмування
ЗакладСтенфордський університет,
Науково-дослідний інститут імені Вейцмана
Науковий керівникРоберт Флойд,
Алан Перліс[2]
ВчителіАлан Перліс
Відомі учніАді Шамір
Аспіранти, докторантиАді Шамір
Pierre Wolperd
Martín Abadid
Nachum Dershowitzd
Jean Vuillemind[8]
Shmuel Katzd[8]
Thomas Henzingerd[8]
Hugh Wingfield Mcguired[8]
Henny Berendien Sipmad[8]
Tomas E. Uribe Restrepod[8]
Nikolaj Skallerud Bjornerd[8]
Luca de Alfarod[8]
Arjun Kapurd[8]
Anuchit Anuchitanukuld[8]
Edward Changd[8]
William L. Scherlisd[8]
Sriram Sankaranarayanand[8]
Ting Zhangd[8]
Cesar Sanchezd[8]
Jean-Marie Cadioud[8]
Benjamin Charles Moszkowskid[8]
Yonathan Malachid[8]
Marianne Baudinetd[8]
Aaron Robert Bradleyd[8]
Matteo Slaninad[8]
Bernd E. Finkbeinerd[8]
Michael Colónd[8]
Calogero Zarbad[8]
Henny B. Sipmad[8]
ЧленствоAssociation for Computing Machinery[9]
НагородиГрант Ґуґґенхайма (1981)[3],
Премія Ербрана[en] (2016)[4]
Особ. сторінкаtheory.stanford.edu/~zm/
Див. також: Манна (значення)

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

Біографія

[ред. | ред. код]

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

Нагороди

[ред. | ред. код]

У 1994 році став членом Асоціації обчислювальної техніки (Association for Computing Machinery). У 2016 році він розділив Премію Гербранда з Річардом Вальдінгером за "новаторські дослідження та педагогічний внесок (разом з Річардом Вальдінгером) в автоматизовані міркування, синтез програм, планування та формальні методи". Він отримав премію Бауера від Мюнхенського технічного університету та почесний докторський ступінь від Вищої нормальної школи Кашана.

Підручники

[ред. | ред. код]
  • 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. (англ.)

Публікації

[ред. | ред. код]

Примітки

[ред. | ред. код]

Посилання

[ред. | ред. код]