Photo of Prof. Orna Grumberg

Prof. Orna Grumberg

Leumi Chair of Science

Contact information
Homepage:
http://www.cs.technion.ac.il/~orna/
Email:
ornacs.technion.ac.il
Office:
620
Phone:
(972)-4-829-4327
Office Hours:
Tuesday, 16:30-17: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.