Орна Купферман
Орна Купферман | |
|---|---|
 | |
| Альма-матер | Технион - Израильский технологический институт |
| Научная карьера | |
| Учреждения | |
| Диссертация | Проверка модели для временной логики времени ветвления (1995) |
| Докторантура | Орна Грумберг |
| Веб-сайт | Купферман Групп |
Орна Купферман — профессор компьютерных наук и бывший проректор Еврейского университета в Иерусалиме . В 2016 году она была избрана членом Европейской академии .
Ранняя жизнь и образование
[ редактировать ]Купферман служил в Силах обороны Израиля с 1986 по 1988 год. [1] она получила докторскую степень в Технионе . В 1995 году [2] где ее курировала Орна Грумберг . В 1996 году Купферман присоединился к техническому персоналу Bell Labs . В 1997 году она переехала в Калифорнийский университет в Беркли , работая с Томасом Хенцингером . [1]
Исследования и карьера
[ редактировать ]В 1998 году Купферман был назначен старшим преподавателем Еврейского университета в Иерусалиме . [1] Она занимала должность руководителя отдела компьютерных наук с 2005 по 2008 год и руководителя технического отдела с 2008 по 2011 год. [3] В 2008 году ей было присвоено звание профессора. [3] В 2012 году Купферман получил грант Европейского исследовательского совета на исследование высококачественных реактивных систем. [4] Она разрабатывает формальные компьютерные системы проверки и синтеза как аппаратного, так и программного обеспечения . [4] Она использует подходы теории автоматов для проверки моделей времени ветвления. [3] [5]
Купферман работал советником по гендерным вопросам президента Еврейского университета в Иерусалиме . Она говорила о проблемах достижения гендерного баланса в научных кругах в Институте науки Вейцмана . [6] Она призвала Еврейский университет в Иерусалиме положить конец гендерному сегрегации в образовании . [7] [8]
Купферман был избран членом Европейской академии в 2016 году. [9] Она также была награждена премией Майкла Милкена Еврейского университета Иерусалима за выдающиеся достижения в области преподавания. [2]
Купферман входил в редакционную коллегию журналов « Формальные методы в системном проектировании» и «Логические методы в информатике» . Она является главным редактором журнала ACM Transactions on Computational Logic . [2]
Избранные публикации
[ редактировать ]- Купферман, Орна (сентябрь 2002 г.). «Темпоральная логика переменного времени» . Журнал АКМ . 49 (5): 672–713. дои : 10.1145/585265.585270 . S2CID 15984608 .
- Купферман, Орна (март 2000 г.). «Теоретико-автоматный подход к проверке моделей времени ветвления» . Журнал АКМ . 47 (2): 312–360. дои : 10.1145/333979.333987 . S2CID 1216035 .
- Купферман, Орна (май 1999 г.). «Темпоральная логика переменного времени» . Композиционность: значительная разница . Конспекты лекций по информатике. Том. 1536. стр. 23–60. дои : 10.1007/3-540-49213-5_2 . ISBN 978-3-540-65493-3 .
Ссылки
[ редактировать ]- ^ Jump up to: а б с «Орна Купферман: Краткая биография» . ptolemy.berkeley.edu . Проверено 13 мая 2019 г.
- ^ Jump up to: а б с «Академия Европы: резюме» . www.ae-info.org . Проверено 13 мая 2019 г.
- ^ Jump up to: а б с «Выдающиеся лекции по информатике в Ливерпуле» . интранет.csc.liv.ac.uk . Проверено 13 мая 2019 г.
- ^ Jump up to: а б «От правильных к качественным реактивным системам» . Европа . Проверено 13 мая 2019 г.
- ^ Купферман, Орна; Ю. Варди, Моше (2001). «Проверка свойств безопасности модели». Форма. Методы Сист. Дес . 19 (3): 291–314. дои : 10.1023/А:1011254632723 . ISSN 0925-9856 . S2CID 909779 .
- ^ Израильский институт перспективных исследований (26 октября 2016 г.), Орна Купферман - Гендерные проблемы в академических кругах , получено 13 мая 2019 г.
- ^ Скоп, Ярден (23 июня 2013 г.). «План проведения исследований с сегрегацией по признаку пола в еврейском университете вызывает протест среди преподавателей» . Гаарец . Проверено 13 мая 2019 г.
- ^ Штокман, Элана (23 октября 2017 г.). «Как израильские колледжи дискриминируют ультраортодоксальных женщин» . Вперед . Архивировано из оригинала 14 мая 2019 года . Проверено 14 мая 2019 г.
- ^ «Орна Купферман — AcademiaNet» . www.academia-net.org . Проверено 13 мая 2019 г.
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
