Orna Kupferman#


Orna Kupferman
Email:orna 'at' cs.huji.ac.il
Membership Number:4186
Membership type:ORDINARY
Main Country of Residence:ISRAEL
Section:INFORMATICS
Username:okupferman
Elected:2016
Homepage: 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 updated on Wednesday, 25. May 2016, 12:29 by Kaiser Dana
  • operated by