Манна, Зохар
Материал из Википедии — свободной энциклопедии
| Зохар Манна | |
|---|---|
| Дата рождения | 17 января 1939[1] |
| Место рождения | |
| Дата смерти | 30 августа 2018[2][1][…] (79 лет) |
| Место смерти |
|
| Страна | |
| Род деятельности | преподаватель университета, специалист в области информатики, инженер |
| Научная сфера | информатика |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Алан Джей Перлис и Роберт Флойд |
| Награды и премии | |
Зохар Манна (ивр. זוהר מנה; англ. Zohar Manna, 1939, Хайфа — 30 августа 2018) — израильский и американский учёный в области информатики, профессор Стэнфордского университета.
Родился и вырос в израильской Хайфе, изучал математику в Технионе, получив степень бакалавра 1962 году и степень магистра в 1965 году. В 1962—1964 годы работал программистом в вооружённых силах Израиля. Продолжил обучение в Университете Карнеги — Меллона, где изучал информатику и в 1968 году защитил докторскую диссертацию под руководством Роберта Флойда и Алана Перлиса.
В 1972 году временно вернулся в Израиль, где был профессором прикладной математики в Институте Вейцмана. С 1978 года — полный профессор Стэнфордского университета, на этой должности проработал до выхода на пенсию в 2010 году.
Действительный член Ассоциации вычислительной техники (1994).
Избранная библиография
[править | править код]- Учебники
- Manna, Zohar; Pnieli, Amir. The Temporal Logic of Reactive and Concurrent Systems: Specification (англ.). — Springer-Verlag, 1992. — ISBN 978-0387976648. (англ.)
- Manna, Zohar; Pnieli, Amir. Temporal Verification of Reactive Systems: Safety (англ.). — Springer-Verlag, 1995. — ISBN 978-0387944593. (англ.)
- Manna, Zohar. Mathematical Theory of Computation (неопр.). — Dover, 2003. — ISBN 978-0486432380. (англ.)
- Manna, Zohar; Waldinger, Richard. The Deductive Foundations of Computer Programming (англ.). — Addison-Wesley Professional, 1993. — ISBN 978-0201548860. (англ.)
- Manna, Zohar; Waldinger, Richard. The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning (англ.). — Addison-Wesley Professional, 1985. — ISBN 978-0201182606. (англ.)
- Статьи
- Zohar Manna; Richard Waldinger. A Deductive Approach to Program Synthesis (англ.) // ACM Transactions on Programming Languages and Systems (TOPLAS)[англ.] : journal. — ACM, 1980. — January (vol. 2, no. 1). — P. 90—121. — doi:10.1145/357084.357090. (англ.)
Примечания
[править | править код]- ↑ 1 2 Zohar Manna // Музей Соломона Гуггенхайма — 1937.
- ↑ https://twitter.com/vardi/status/1035138216725237760
Ссылки
[править | править код]- Перечень публикаций на DBLP (англ.)
 | ||||
|---|---|---|---|---|
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
