Орна Купферман
Орна Купферман | |
|---|---|
 | |
| Альма-матер | Технион - Израильский технологический институт |
| Научная карьера | |
| Учреждения | |
| Тезис | Проверка моделей для временных логик ветвящегося времени (1995) |
| научный руководитель | Орна Грумберг |
| Веб-сайт | Группа Купферман |
Орна Купферман — профессор компьютерных наук и бывший проректор Еврейского университета в Иерусалиме . Она была избрана в Academia Europaea в 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 году Купферман была избрана в Academia Europaea. [9] Она также была награждена премией Михаэля Милкена Еврейского университета в Иерусалиме за многолетнее выдающееся преподавание. [2]
Купферман работала в редакционной коллегии журналов Formal Methods in System Design и Logical Methods in Computer Science . Она является главным редактором ACM Transactions on Computational Logic . [2]
Избранные публикации
- Купферман, Орна (сентябрь 2002 г.). «Временная логика переменного времени». Журнал ACM . 49 (5): 672– 713. doi :10.1145/585265.585270. S2CID 15984608.
- Купферман, Орна (март 2000 г.). «Автоматно-теоретический подход к проверке моделей с ветвящимся временем». Журнал ACM . 47 (2): 312– 360. doi : 10.1145/333979.333987 . S2CID 1216035.
- Купферман, Орна (май 1999). "Alternating-time Temporal Logic". Композиционность: существенное различие . Конспект лекций по информатике. Том 1536. С. 23– 60. doi :10.1007/3-540-49213-5_2. ISBN 978-3-540-65493-3.
Ссылки
- ^ abc "Орна Купферман: Краткая биография". ptolemy.berkeley.edu . Получено 13.05.2019 .
- ^ abc "Академия Европы: CV". www.ae-info.org . Получено 2019-05-13 .
- ^ abc "Ливерпульские выдающиеся лекции по информатике". intranet.csc.liv.ac.uk . Получено 13 мая 2019 г.
- ^ ab "От правильных к высококачественным реактивным системам". Европа . Получено 2019-05-13 .
- ^ Купферман, Орна; И. Варди, Моше (2001). «Проверка свойств безопасности модели». Form. Methods Syst. Des . 19 (3): 291– 314. doi :10.1023/A:1011254632723. ISSN 0925-9856. S2CID 909779.
- ^ Израильский институт перспективных исследований (2016-10-26), Орна Купферман - Гендерный вызов в академической среде , получено 2019-05-13
- ^ Скоп, Ярден (2013-06-23). «План предложения гендерно-разделенного обучения в Еврейском университете вызвал возмущение среди преподавателей». Haaretz . Получено 2019-05-13 .
- ^ Штокман, Элана (23 октября 2017 г.). «Как израильские колледжи дискриминируют ультраортодоксальных женщин». Переслать . Архивировано из оригинала 14 мая 2019 г. . Получено 14 мая 2019 г. .
- ^ "Орна Купферман - AcademiaNet". www.academia-net.org . Получено 13.05.2019 .
