Орна Грумберг
Орна Грумберг | |
|---|---|
Арена Гримберг | |
 Грумберг (2006) | |
| Рожденный | 30 апреля 1952 г. Хадера, Израиль |
| Известный | Проверка модели |
| Награды | Член Ассоциации вычислительной техники (2015 г.), почетный доктор Мюнхенского технического университета (2017 г.). |
| Научная карьера | |
| Поля | Информатика |
| Учреждения | Технион – Израильский технологический институт |
Орна Грумберг ( иврит : ארנה גרימברג ; родилась 30 апреля 1952 года в Хадере недалеко от Хайфы ) — израильский ученый-компьютерщик и академик, заведующий кафедрой науки Леуми в Технионе . [1]
Грумберг известен разработкой проверки моделей — метода формальной проверки проектов аппаратного и программного обеспечения. [2] Вместе с Эдмундом М. Кларком и Дороном А. Пеледом она является автором книги « Проверка моделей» (MIT Press, 1999). [3] [4]
В 2013 году Грумберг был избран в Европейскую академию . [5] В 2015 году она была названа членом Ассоциации вычислительной техники «за вклад в исследования в области автоматизированной формальной проверки аппаратных и программных систем». [6] В мае 2017 года ей была присвоена степень почетного доктора Мюнхенского технического университета в рамках празднования 50-летия информатики в Мюнхене. [7]
Ссылки
[ редактировать ]- ↑ Профиль факультета , Технион, получено 7 декабря 2013 г.
- ^ Профиль Microsoft Research. Архивировано 21 октября 2014 г. на Wayback Machine.
- ^ Обзор проверки моделей Владимира Захарова (2001), Журнал логики и вычислений 11 (6): 962–964, два : 10.1093/logcom/11.6.962
- ^ Полный список публикаций в Немецком проекте цифровой библиографии и библиотеки, получено 7 сентября 2020 г.
- ^ Зири, Даниэль (3 октября 2013 г.), «Семь израильских профессоров избраны в Европейскую академию» , «Джерузалем Пост» .
- ^ Стипендиаты ACM названы в честь компьютерных инноваций, способствующих развитию технологий в эпоху цифровых технологий , Ассоциация вычислительной техники , 2015 г., заархивировано из оригинала 09 декабря 2015 г. , получено 9 декабря 2015 г.
- ^ il-israel.org: Жизнь для правильных битов и байтов , 21 мая 2017 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
