Orna Kupferman#


Orna Kupferman
Membership Number:4186
Membership type:ORDINARY
Section:INFORMATICS
Elected:2016
Main Country of Residence:ISRAEL
Homepage(s):http://www.cs.huji.ac.il/~ornak







Present and Previous Positions

  • 2012 - today Vice Rector of the Hebrew University
  • 2008 - today Professor, Hebrew University
  • 2011 - 2013 President's advisor on Gender Issues, Hebrew University
  • 2008 - 2011 Chair of the School of Engineering, Hebrew University
  • 2008 Visiting professor, Rice University
  • 2007 Visiting researcher, UC Berkeley
  • 2006 Visiting researcher, Microsoft Research, Redmond
  • 2005 - 2007 Head of the Computer Science Department, Hebrew University
  • 2003 - 2008 Associate professor, Hebrew University
  • 2002 - 2003 Visiting researcher, UC Berkeley

Fields of Scholarship
  • Formal verification and synthesis of reactive systems
  • Automata theory
  • Temporal logic
  • Model-checking
  • Game-based approach to automatic verification and synthesis
  • Sanity checks in formal methods: vacuity, coverage, and query checking
  • Formal measures of quality: algorithms for quality checking, and automated synthesis of high-quality reactive systems

Honours and Awards
  • ERC starting grant, From Correct to High-Quality Reactive systems, 2012-2017

Imprint Privacy policy « This page (revision-8) was last changed on Monday, 14. June 2021, 13:59 by Kaiser Dana
  • operated by