Photo of Prof. Orna Grumberg

Prof. Orna Grumberg

Leumi Chair of Science

Contact information
Homepage:
http://orna.cswp.cs.technion.ac.il/
Email:
ornacs.technion.ac.il
Office:
620
Phone:
(972)-4-829-4327
Office Hours:
Monday, 17:30-18:30
Research interests
Computer-aided verification of software and hardware; Model checking; formal verification; Temporal logics; Modularity; Abstraction; Distributed model checking, SAT-based model checking, games, 3-valued logics.