Zohar Manna
Professor of Computer Science

Mailing Address:
Gates Building, Room 481,
Stanford University,
CA 94305
Phone: (650) 723-4364
Fax: (650) 725-4671

Research Interests

Automated deduction: decision procedures, theorem proving, automated-based techniques.
Semantics, specification, and verification of reactive, embedded, real-time, and hybrid systems.
Systematic development, automatic synthesis and control.
Temporal logic and its applications. Automatic and machine-supported verification systems. Static analysis.

The STeP (Stanford Temporal Prover) system supports the computer-aided formal verification of reactive, real-time and hybrid systems based on their temporal specification.

Selected Books