Орна Грумберг - Википедия - Orna Grumberg

Грумберг в 2006 году

Орна Грумберг (иврит: ארנה גרימברג; родился 14 мая 1952 года в г. Хадера возле Хайфа ) - израильский ученый-компьютерщик и академик, заведующий кафедрой науки Леуми в Технион.[1]

Grumberg известен развитием проверка модели, метод формальной проверки конструкции аппаратного и программного обеспечения.[2] С Эдмунд М. Кларк и Дорон А. Пелед, она автор книги Проверка модели (MIT Press, 1999).[3][4]

В 2013 г. проф. Грумберг был избран в Academia Europaea.[5] В 2015 году она была названа Член Ассоциации вычислительной техники «За вклад в исследования в области автоматизированной формальной проверки аппаратных и программных систем».[6]

Рекомендации

  1. ^ Профиль факультета, Technion, дата обращения 07.12.2013.
  2. ^ Профиль Microsoft Research В архиве 2014-10-21 на Wayback Machine
  3. ^ Обзор Проверка модели Владимира Захарова (2001), Журнал логики и вычислений 11 (6): 962–964, Дои:10.1093 / logcom / 11.6.962
  4. ^ Полный список публикаций в German Digital Bibliography & Library Project, получено 07.09.2020.
  5. ^ Зири, Даниэль (3 октября 2013 г.), «Семь израильских профессоров избраны в Academia Europaea», "Джерузалем пост".
  6. ^ Стипендиаты ACM названы за компьютерные инновации, продвигающие технологии в эпоху цифровых технологий, Ассоциация вычислительной техники, 2015, архивировано из оригинал на 2015-12-09, получено 2015-12-09.