Орна Купферман

Материал из Циклопедии
Перейти к: навигация, поиск

Орна Купферман

Научный деятель
Orna Kupferman.jpg
Место рождения Израиль













Орна Купферман (англ. Orna Kupferman) — израильский учёный, профессор компьютерных наук Еврейского университета в Иерусалиме[1].

Содержание

[править] Биография

В 1986—1988 годах служила в Армии обороны Израиля.

В 1995 году получила докторскую степень в Технионе.

В 1996 году присоединился к техническому персоналу в Bell Labs.

В 1997 году перешла в Калифорнийский университет в Беркли, работая с Дональдом Педерсоном.

В 1998 году стала старшим преподавателем в Еврейском университете в Иерусалиме. В 2008—2011 годах — руководитель отдела компьютерных наук. В 2008 году — полный профессор.

В 2016 году была избрана членом Европейской академии.

Разрабатывает формальные компьютерные системы верификации и синтеза для аппаратного и программного обеспечения.

Видимо является женой Раза Купфермана, тоже сотрудника Еврейского университета, у них четверо детей[2].

[править] Труды

  • Kupferman, Orna (September 2012). "Alternating-time temporal logic". Journal of the ACM. 49: 672.
  • Kupferman, Orna (March 2000). "Journal of the ACM". Journal of the ACM. 47: 312.
  • Kupferman, Orna (May 1999). "Alternating-time Temporal Logic". Lecture Notes in Computer Science.

[править] Ссылки

[править] Источники

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты