Зохар Манна

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

• Zohar Manna; Richard Waldinger (Січ. 1980). A Deductive Approach to Program Synthesis. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. 2 (1): 90—121. doi:10.1145/357084.357090. (англ.)

• Перелік публікацій на DBLP [Архівовано 10 березня 2016 у Wayback Machine.] (англ.)