Орна Купферман
Орна Купферман (англ. 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.