Home

Orna-Grumberg

Leumi Chair of Science
Dr.h.c. Technical University of Munich (2017)

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
  • Modularity
  • Abstraction, refinement and counterexamples
  • Symmetry
  • Temporal logics
  • Equivalences and preorders
  • Distributed Model checking
  • Static analysis and model checking
  • Coverage and vacuity
  • SAT-based model checking
  • Games for model checking
  • Symbolic Trajectory Evaluation (STE)
  • Automata on infinite objects
  • Finding security vulnerabilities with formal methods
  • Program repair
  • Program differencing