Orna Kupferman

Orna Kupferman
Alma Mater	Technion – Izraelski Instytut Technologiczny
Kariera naukowa
Instytucje	Uniwersytet Hebrajski w Jerozolimie Uniwersytet Kalifornijski w Berkeley Laboratoria Bella
Praca dyplomowa	Sprawdzanie modeli pod kątem logiki czasowej rozgałęzień (1995)
Doradca doktorski	Orna Grumberg
Strona internetowa	Grupa Kupfermana

Orna Kupferman jest profesorem informatyki i byłym prorektorem Uniwersytetu Hebrajskiego w Jerozolimie . W 2016 została wybrana do Academia Europaea .

Wczesne życie i edukacja

Kupferman służył w Izraelskich Siłach Obronnych od 1986 do 1988. Doktoryzowała się w Technion w 1995, gdzie była nadzorowana przez Ornę Grumberg . W 1996 Kupferman dołączył do personelu technicznego w Bell Labs . Przeniosła się do University of California, Berkeley w 1997 roku, pracując z Thomasem Henzingerem .

Badania i kariera

W 1998 Kupferman został mianowany starszym wykładowcą na Uniwersytecie Hebrajskim w Jerozolimie . W latach 2005-2008 pełniła funkcję kierownika działu informatyki, a w latach 2008-2011 kierownika działu inżynierii. W 2008 r. uzyskała tytuł profesora zwyczajnego. W 2012 r. Kupferman otrzymał grant Europejskiej Rady ds. Badań Naukowych na badanie wysokiej jakości systemów reaktywnych . Zajmuje się tworzeniem do weryfikacji formalnej i syntezy zarówno sprzętu, jak i oprogramowania. Wykorzystuje teorii automatów do sprawdzania rozgałęzionych modeli czasowych.

Kupferman był doradcą ds. płci rektora Uniwersytetu Hebrajskiego w Jerozolimie . Mówiła o wyzwaniach związanych z osiągnięciem równowagi płci w środowisku akademickim w Instytucie Nauki Weizmanna . Wezwała Uniwersytet Hebrajski w Jerozolimie do zakończenia edukacji z segregacją płciową .

Kupferman została wybrana do Academia Europaea w 2016 roku. Otrzymała również nagrodę im. Michaela Milkena Uniwersytetu Hebrajskiego w Jerozolimie za wieloletnią doskonałość w nauczaniu.

Kupferman był członkiem zespołu redakcyjnego Formal Methods in System Design i Logical Methods in Computer Science . Jest redaktorem naczelnym ACM Transactions on Computational Logic .

Wybrane publikacje

•   Kupferman, Orna (wrzesień 2012). „Logika czasowa zmiennego czasu” . Dziennik ACM . 49 (5): 672–713. doi : 10.1145/585265.585270 . S2CID 15984608 .
•   Kupferman, Orna (marzec 2000). „Podejście oparte na teorii automatów do sprawdzania modeli w czasie rozgałęzień”. Dziennik ACM . 47 (2): 312–360. doi : 10.1145/333979.333987 . S2CID 1216035 .
•   Kupferman, Orna (maj 1999). „Logika temporalna zmiennego czasu” . Notatki z wykładów z informatyki . 1536 : 23–60. doi : 10.1007/3-540-49213-5_2 . ISBN 978-3-540-65493-3 .