Zohar Manna
Professor of Computer Science

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

Research Interests:

Automated deduction: Decision Procedures, Theorem Proving.
Semantics, specification, and verification of reactive, real-time and hybrid systems.
Systematic development, automatic synthesis and control.
Temporal logic and its applications. Automatic and machine-supported verification systems.

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

The REACT Group:

Selected Books: