Зохар Манна - Zohar Manna

Зохар Манна (1939 - 30 августа 2018 г.)[1] был израильско-американским специалист в области информатики кто был профессор из Информатика в Стэндфордский Университет.

биография

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

Он присутствовал Университет Карнеги Меллон и получил докторскую степень в Информатика в 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 с участием Ричард Уолдингер для его ″ Новаторские исследования и педагогический вклад (с Ричардом Уолдингером) в автоматизированное рассуждение, синтез программ, планирование и формальные методы ″.[3]. Он получил премию Бауэра Мюнхенского технического университета, а также звание почетного доктора École Normale Supérieure de Cachan.

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

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

Смотрите также

использованная литература

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

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