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