Ronen Levy
Computer Science
IBM Research
Israel
Biography
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. 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