| Зохар Манна | |
|---|---|
| Родившийся | |
| Умер | 30 августа 2018 г. (78–79 лет) |
| Национальность | Израильско-американский |
| Образование | Технион - Израильский технологический институт (бакалавр, магистр), Университет Карнеги-Меллона (доктор философии, 1968) |
| Супруг (а) | Ница |
| Дети | 4 |
| Награды | Член Ассоциации вычислительной техники Herbrand Award Bauer Prize, Почетный доктор Технического университета Мюнхена , École Normale Supérieure de Cachan |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Институт науки Вейцмана Стэнфордский университет |
| Докторанты | Нахум Дершовиц , Ади Шамир , Томас Хензингер , Пьер Вольпер , Мартин Абади |
| Веб-сайт | теория |
Зохар Манна (1939 - 30 августа 2018) [1] был израильско-американский ученый , который был профессором в области компьютерных наук в Стэнфордском университете .
Биография [ править ]
Он родился в Хайфе , Израиль . Он получил степени бакалавра наук (BS) и магистра наук (MS) в Технионе - Израильском технологическом институте .
Он учился в Университете Карнеги-Меллона и получил степень доктора философии (PhD) по информатике в 1968 году.
Манна вернулся в Израиль в 1972 году в качестве профессора прикладной математики в Научном институте Вейцмана . Он стал профессором Стэнфордского университета в 1978 году. До 1995 года он оставался членом Научного института Вейцмана. Он продолжал работать профессором Стэнфордского университета до выхода на пенсию в 2010 году.
Книги [ править ]
Он является автором девяти книг. «Математическая теория вычислений» (McGraw Hill, 1974; перепечатано в Dover, 2003) - один из первых текстов, в которых широко освещаются математические концепции, лежащие в основе компьютерного программирования.
Вместе с Амиром Пнуэли он является соавтором незаконченной трилогии учебников по темпоральной логике и верификации реактивных систем: Временная логика реактивных и параллельных систем: спецификация (Springer-Verlag, 1991), Временная логика реактивных и параллельных систем: безопасность (Springer-Verlag, 1995) и «Временная логика реактивных и параллельных систем: прогресс» (не опубликовано; первые три главы размещены на http://theory.stanford.edu/~zm/tvors3.html ).
Вместе с Аароном Р. Брэдли он стал соавтором учебника «Расчет вычислений», который служит введением как в логику первого порядка, так и в формальную проверку . [2]
Награды [ править ]
В 1994 году он был принят в члены Ассоциации вычислительной техники . В 2016 году он разделил премию Herbrand Award с Ричардом Уолдингером за его «новаторские исследования и педагогический вклад (вместе с Ричардом Уолдингером) в автоматизированное рассуждение, синтез программ, планирование и формальные методы» . [3] Он получил премию Бауэра Мюнхенского технического университета и звание почетного доктора Высшей школы Кашана .
Консультации [ править ]
Он руководил 30 докторантами, включая Нахума Дершовица , Ади Шамира , Томаса Хензингера , Пьера Вольпера и Мартина Абади .
См. Также [ править ]
- Временная логика
- Реактивные системы
- Параллелизм (информатика)
Ссылки [ править ]
- ↑ Abate, Tom (6 сентября 2018 г.). «Пионер компьютерных наук в Стэнфорде Зохар Манна умирает в возрасте 79 лет» . Стэнфордский университет .
- ^ Брэдли, Аарон Р .; Манна, Зохар (2007). Расчет вычислений: процедуры принятия решений с приложениями к проверке . Springer-Verlag . DOI : 10.1007 / 978-3-540-74113-8 . ISBN 978-3-540-74112-1.
- ^ www .cadeinc .org / HerbrandAward .html
Внешние ссылки [ править ]
- Официальный веб-сайт
- Зохар Манна на проекте « Математическая генеалогия»
