Skip to main content

Emerging Quality Technologies

The group is engaged in developing beyond state of the art verification and information security technologies. These include Formal Verification of Software & Systems, Expert System Test Design, Simulation Monitors, Test Data Fabrication, Security Intelligence and Security for Mobile.

Activities

Manager

Ronen Levy, Manager Emerging Quality Technologies, IBM Research - Haifa

: Manager Emerging Quality Technologies, IBM Research - Haifa