Зохар Манна
Зохар Манна (івр. זוהר מנה; англ. Zohar Manna, *1939) — ізраїльський та американський науковець в галузі інформатики, професор Стенфордського університету.
| Зохар Манна | |
|---|---|
| івр. זוהר מנה | |
| Народився |
1939 Хайфа, Ізраїль[1] |
| Помер |
30 серпня 2018[2][3][4] (79 років) Нетанья |
| Місце проживання |
 США |
| Країна |
США Ізраїль |
| Діяльність | викладач університету, інформатик, інженер |
| Alma mater |
Техніон, Університет Карнегі-Меллон |
| Галузь | інформатика, програмування |
| Заклад |
Стенфордський університет, Науково-дослідний інститут імені Вейцмана |
| Науковий керівник |
Роберт Флойд, Алан Перліс[5] |
| Відомі учні | Аді Шамір |
| Нагороди |
Грант Ґуґґенхайма (1981)[6], Премія Ербрана (2016)[7] |
| Особ. сторінка | 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. (англ.)
Публікації
- 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. (англ.)
Примітки
- Nachum Dershowitz, Pæan to Zohar Manna, 2003.(англ.)
- https://twitter.com/vardi/status/1035138216725237760
- Музей Соломона Гуггенгайма — 1937.
- Bibliothèque nationale de France Ідентифікатор BNF: платформа відкритих даних — 2011.
- Зохар Манна, математична генеалогія.(англ.)
- www.gf.org/fellows/all-fellows/zohar-manna/ (англ.)
- www.cadeinc.org/HerbrandAward.html (англ.)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.