| Зохар Манна | |
|---|---|
| Дата рождения | 17 января 1939[1] |
| Место рождения | |
| Дата смерти | 30 августа 2018[2] (79 лет) |
| Место смерти |
|
| Страна | |
| Научная сфера | информатика |
| Место работы | |
| Альма-матер | |
| Научный руководитель | Алан Джей Перлис и Роберт Флойд |
| Награды и премии | |
Зохар Манна (ивр. זוהר מנה; англ. Zohar Manna, *1939) — израильский и американский ученый в области информатики, профессор Стэнфордского университета.
Биография
Родился и вырос в городе Хайфа, Израиль. Изучал математику в Технионе, получив степень бакалавра 1962) и степень магистра в 1965 году. Работал программистом в вооруженных силах Израиля в 1962-1964 гг. Продолжил обучение в университете Карнеги-Меллон, где изучал информатику и в 1968 году защитил диссертацию на степень доктора под руководством лауреатов премии Тьюринга Роберта Флойда и Алана Перлиса.
Учебники
- Manna, Zohar. The Temporal Logic of Reactive and Concurrent Systems: Specification / Zohar Manna, Pnieli. — Springer-Verlag, 1992. — ISBN 978-0387976648. (англ.)
- Manna, Zohar. Temporal Verification of Reactive Systems: Safety / Zohar Manna, Pnieli. — Springer-Verlag, 1995. — ISBN 978-0387944593. (англ.)
- Manna, Zohar. Mathematical Theory of Computation. — Dover, 2003. — ISBN 978-0486432380. (англ.)
- Manna, Zohar. The Deductive Foundations of Computer Programming / Zohar Manna, Waldinger. — Addison-Wesley Professional, 1993. — ISBN 978-0201548860. (англ.)
- Manna, Zohar. The Logical Basis for Computer Programming, Vol. 1: Deductive Reasoning / Zohar Manna, Waldinger. — Addison-Wesley Professional, 1985. — 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. Проверьте дату в
|date=(справка на английском) (англ.)
Примечания
- ↑ Немецкая национальная библиотека, Берлинская государственная библиотека, Баварская государственная библиотека и др. Record #128838248 // Общий нормативный контроль (GND) — 2012—2016.
- ↑ https://twitter.com/vardi/status/1035138216725237760
Ссылки
- Перечень публикаций на DBLP (англ.)
 | В этой статье не хватает ссылок на источники информации. |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .