Home

Orna-Grumberg

Leumi Chair of Science
Dr.h.c. Technical University of Munich (2017)
ACM Fellow and member of the Academia Europaea

 

TECHNION – Israel Institute of Technology
Computer Science Department
Technion City – Haifa 32000 – Israel
Phones: Ofc: +972-4-829-4327 Sec: +972-4-8294314
Fax: +972-4-829-4353
Email: orna@cs.technion.ac.il

Research Interest:

  • Computer-aided verification of software and hardware – Model checking
  • Compositional model checking
  • Abstraction, refinement and counterexamples (CEGAR)
  • Temporal logics
  • Equivalences and preorders
  • SAT-based model checking
  • Automata on infinite objects
  • Finding security vulnerabilities with formal methods
  • Program repair
  • Program differencing
  • Distributed Model checking
  • Static analysis and model checking
  • Coverage and vacuity
  • Games for model checking
  • Symbolic Trajectory Evaluation (STE)
  • Symmetry