General Science

General Science Experts

Ronen Levy

Computer Science
IBM Research


I'm the manager of the Emerging Quality Technologies group. We develop methodologies, technologies and tools in the area of Formal Verification, Test Generation and Simulation, leveraging over 20 year of expertise in the aforementioned technologies with a proven track record in the Hardware domain where these technologies and tools are being used to verify IBM's high end servers.

Research Interest

Computer Science

Global Experts from Israel

Global Experts in Subject

Share This Profile