Зоар Манна

Зоар Манна
Зоар Манна
Рожденный	Хайфа , Израиль
Умер	30 августа 2018 г. (78–79 лет)
Национальность	Израильско-американский
Образование	Технион – Израильский технологический институт (BS, MS) ; Университет Карнеги-Меллон (доктор философии, 1968 г.)
Супруг	Ница
Дети	4
Награды	Член Ассоциации вычислительной техники ; Премия Эрбрана ; Премия Бауэра, Мюнхенский технический университет ; Почетный доктор Высшей нормальной нормальной школы Кашана.
	Научная карьера
Поля	Информатика
Учреждения	Научный институт Вейцмана ; Стэнфордский университет
Докторанты	Нахум Дершовиц , Ади Шамир , Томас Хенцингер , Пьер Вольпер , Мартин Абади
Веб-сайт	теория Стэнфорд .edu /~декабрь

Зоар Манна (1939 – 30 августа 2018 г.) ^[1] был израильско-американским учёным-компьютерщиком профессором , информатики Стэнфордском в университете .

Биография

Он родился в Хайфе , Израиль . Он получил степени бакалавра наук (BS) и магистра наук (MS) в Технионе — Израильском технологическом институте .

Он учился в Университете Карнеги-Меллон и в 1968 году получил степень доктора философии (PhD) в области компьютерных наук .

Манна вернулся в Израиль в 1972 году в качестве профессора прикладной математики в Институте науки Вейцмана . Он стал профессором Стэнфорда в 1978 году. Он оставался сотрудником Института науки Вейцмана до 1995 года. Он продолжал работать профессором Стэнфорда до выхода на пенсию в 2010 году.

Книги

Он является автором девяти книг. «Математическая теория вычислений» (McGraw Hill, 1974; переиздано в Дувре, 2003 г.) — один из первых текстов, в котором широко освещаются математические концепции, лежащие в основе компьютерного программирования.

Вместе с Амиром Пнуэли он стал соавтором незаконченной трилогии учебников по темпоральной логике и проверке реактивных систем: «Темпоральная логика реактивных и параллельных систем: спецификация» (Springer-Verlag, 1991), «Темпоральная логика реактивных и параллельных систем: безопасность». (Springer-Verlag, 1995) и The Temporal Logic of Reactive and Concurrent Systems: Progress (неопубликовано; первые три главы размещены по адресу http://theory.stanford.edu/~zm/tvors3.html ).

Вместе с Аароном Р. Брэдли он является соавтором учебника «Исчисление вычислений», который служит введением как в логику первого порядка , так и в формальную проверку . ^[2]

Награды

В 1994 году он был назначен членом Ассоциации вычислительной техники . В 2016 году он разделил премию Эрбрана с Ричардом Вальдингером за «новаторские исследования и педагогический вклад (вместе с Ричардом Вальдингером) в области автоматизированного рассуждения, синтеза программ, планирования и формальных методов» . ^[3] Он получил премию Бауэра Мюнхенского технического университета и степень почетного доктора Высшей нормальной школы Кашана .

Консультирование

Он руководил 30 докторантами, в том числе Нахумом Дершовицем , Ади Шамиром , Томасом Хензингером , Пьером Вольпером и Мартином Абади .

См. также

Ссылки

^ Абате, Том (6 сентября 2018 г.). «Пионер информатики из Стэнфорда Зохар Манна умирает в возрасте 79 лет» . Стэнфордский университет .
^ Брэдли, Аарон Р.; Манна, Зоар (2007). Вычисление: процедуры принятия решений с применением к проверке . Спрингер-Верлаг . дои : 10.1007/978-3-540-74113-8 . ISBN 978-3-540-74112-1 .
^ www .cadeinc .org /HerbrandAward .html

Внешние ссылки

Эта статья об американском ученом незавершена . Вы можете помочь Википедии, расширив ее .

Эта биографическая статья о компьютерном специалисте из США незавершена . Вы можете помочь Википедии, расширив ее .

[1] Абате, Том (6 сентября 2018 г.). «Пионер информатики из Стэнфорда Зохар Манна умирает в возрасте 79 лет» . Стэнфордский университет .

[2] Брэдли, Аарон Р.; Манна, Зоар (2007). Вычисление: процедуры принятия решений с применением к проверке . Спрингер-Верлаг . дои : 10.1007/978-3-540-74113-8 . ISBN 978-3-540-74112-1 .

[herbrand-3] www .cadeinc .org /HerbrandAward .html

[1]

[2]

[3]

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Франция 2 Данные БНФ 2 Германия Израиль Бельгия Соединенные Штаты Латвия Япония Чешская Республика Австралия Нидерланды
академики	Ассоциация вычислительной техники ЦиНии ДБЛП MathSciNet Проект математической генеалогии Скопус zbMATH
Люди	Находка
Другой	ИдРеф