PROFILBARU.COM

Зохар Манна
Зохар Манна
Дата рождения	17 января 1939
Место рождения	Хайфа, Израиль;
Дата смерти	30 августа 2018[…] (79 лет)
Место смерти	Нетания, Шарон[вд], Центральный округ, Израиль;
Страна	США; Израиль;
Род деятельности	преподаватель университета, специалист в области информатики, инженер
Научная сфера	информатика
Место работы	Стэнфордский университет; Институт Вейцмана;
Альма-матер	Университет Карнеги — Меллона (1968); Технион;
Научный руководитель	Алан Джей Перлис и Роберт Флойд
Награды и премии	стипендия Гуггенхайма (1968) премия Фридриха Л. Бауэра (1992) Премия Эрбрана[вд] (2016) Фелло ACM (1994) почётный доктор Высшей нормальной школы в Кашане[вд] (18 июля 2001)

Зохар Манна (ивр. זוהר מנה‎; англ. 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. (англ.)