Зохар Манна

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

Зохар Манна
івр. זוהר מנה‎
Народився	1939(1939) Хайфа, Ізраїль
Помер	30 серпня 2018(2018-08-30) (79 років) Нетанья, HaSharon subdistrict^d, Центральний округ, Ізраїль
Місце проживання	США
Країна	США  Ізраїль
Діяльність	викладач університету, інформатик, інженер
Alma mater	Техніон, Університет Карнегі-Меллон
Галузь	інформатика, програмування
Заклад	Стенфордський університет, Науково-дослідний інститут імені Вейцмана
Науковий керівник	Роберт Флойд, Алан Перліс
Вчителі	Алан Перліс
Відомі учні	Аді Шамір
Аспіранти, докторанти	Аді Шамір Pierre Wolper^d Martín Abadi^d Nachum Dershowitz^d Jean Vuillemin^d Shmuel Katz^d Thomas Henzinger^d Hugh Wingfield Mcguire^d Henny Berendien Sipma^d Tomas E. Uribe Restrepo^d Nikolaj Skallerud Bjorner^d Luca de Alfaro^d Arjun Kapur^d Anuchit Anuchitanukul^d Edward Chang^d William L. Scherlis^d Sriram Sankaranarayanan^d Ting Zhang^d Cesar Sanchez^d Jean-Marie Cadiou^d Benjamin Charles Moszkowski^d Yonathan Malachi^d Marianne Baudinet^d Aaron Robert Bradley^d Matteo Slanina^d Bernd E. Finkbeiner^d Michael Colón^d Calogero Zarba^d Henny B. Sipma^d
Нагороди	Грант Ґуґґенхайма (1981), Премія Ербрана^[en] (2016)
Особ. сторінка	theory.stanford.edu/~zm/

Див. також: Манна (значення)

Біографія

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

Нагороди

У 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 (Jan. 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.  (англ.)

Примітки

1. Nachum Dershowitz, Pæan to Zohar Manna, 2003 [ 8 січня 2013 у Wayback Machine.].(англ.)
2. Зохар Манна, математична генеалогія [ 3 березня 2016 у Wayback Machine.].(англ.)
3. www.gf.org/fellows/all-fellows/zohar-manna/ (англ.)
4. www.cadeinc.org/HerbrandAward.html (англ.)
5. https://twitter.com/vardi/status/1035138216725237760
6. Музей Соломона Гуггенгайма — 1937.
   d:Track:Q10498496d:Track:Q201469
7. Bibliothèque nationale de France BNF: платформа відкритих даних — 2011.
   d:Track:Q19938912d:Track:Q54837d:Track:Q193563
8. Математичний генеалогічний проєкт — 1997.
   d:Track:Q829984

Посилання

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