Орна Купферман - Википедия - Orna Kupferman

Орна Купферман
Орна Купферман.jpg
Альма-матерТехнион - Израильский технологический институт
Научная карьера
УчрежденияЕврейский университет Иерусалима
Калифорнийский университет в Беркли
Bell Labs
Интернет сайтКупферман Групп

Орна Купферман является профессором Информатика и бывший Проректор на Еврейский университет Иерусалима. Она была избрана в Academia Europaea в 2016 году.

ранняя жизнь и образование

Купферман служил в Силы обороны Израиля с 1986 по 1988 гг.[1] Она получила докторскую степень в Технион в 1995 г.[2] где она находилась под присмотром Орна Грумберг. В 1996 году Купферман присоединился к техническому персоналу компании Bell Labs. Она переехала в Калифорнийский университет в Беркли в 1997 г., работая с Томас Хензингер.[1]

Исследования и карьера

В 1998 году Купферман был назначен старшим преподавателем кафедры Еврейский университет Иерусалима.[1] С 2008 по 2011 гг. Занимала должность руководителя отдела компьютерных наук.[3] В 2008 году она получила звание профессора.[3] В 2012 году Купферман был удостоен награды Европейский исследовательский совет грант на изучение качественных реактивных систем.[4] Она развивается формальная проверка и компьютерные системы для синтеза как аппаратного, так и программного обеспечения.[4] Она использует теория автоматов подходы к проверке моделей времени ветвления.[3][5]

Купферман работал советником по гендерным вопросам президента Еврейский университет Иерусалима. Она говорила о проблемах достижения гендерного баланса в академических кругах на Институт науки Вейцмана.[6] Она призвала к Еврейский университет Иерусалима до конца гендерное раздельное образование.[7][8]

Купферман был избран в Academia Europaea в 2016 году.[9] Также она была награждена Еврейский университет Иерусалима Премия Майкла Милкена за многолетнее превосходство в преподавании.[2]

Купферман входил в редколлегию журнала Формальные методы в системном дизайне и Логические методы в информатике. Она главный редактор журнала Транзакции ACM по вычислительной логике.[2]

Избранные публикации

  • Купферман, Орна (сентябрь 2012 г.). «Временная логика с переменным временем». Журнал ACM. 49 (5): 672–713. Дои:10.1145/585265.585270. S2CID  15984608.
  • Купферман, Орна (март 2000 г.). "Теоретико-автоматный подход к проверке модели времени ветвления". Журнал ACM. 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.

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

  1. ^ а б c "Орна Купферман: Краткая биография". ptolemy.berkeley.edu. Получено 2019-05-13.
  2. ^ а б c "Академия Европы: резюме". www.ae-info.org. Получено 2019-05-13.
  3. ^ а б c "Выдающиеся в Ливерпуле лекции по информатике". intranet.csc.liv.ac.uk. Получено 2019-05-13.
  4. ^ а б «От правильных реактивных систем к качественным». Европа. Получено 2019-05-13.
  5. ^ Купферман, Орна; Ю. Варди, Моше (2001). «Модельная проверка свойств безопасности». Форма. Методы Syst. Des. 19 (3): 291–314. Дои:10.1023 / А: 1011254632723. ISSN  0925-9856. S2CID  909779.
  6. ^ Израильский институт перспективных исследований (2016-10-26), Орна Купферман - Гендерный вызов в академических кругах, получено 2019-05-13
  7. ^ Скоп, Ярден (23.06.2013). «План проведения гендерно-сегрегированных исследований на иврите вызвал протесты среди преподавателей». Гаарец. Получено 2019-05-13.
  8. ^ Штокман, Элана (23 октября 2017 г.). «Как израильские колледжи дискриминируют ультраортодоксальных женщин». Вперед. В архиве с оригинала 14 мая 2019 г.. Получено 14 мая, 2019.
  9. ^ "Орна Купферман - AcademiaNet". www.academia-net.org. Получено 2019-05-13.