Engineering
Global

Engineering Experts

Karen Yorav

Researcher
Haifa Research Lab
IBM Research
Israel

Biography

I received my Ph.D. from the Computer Science Department, Technion, Israel in 2000, under the supervision of Prof. Orna Grumberg. I later worked with Prof. Ed Clarke's group at CMU as a post-doc, and joined IBM in 2003.

Research Interest

Software Formal Verification Tool

Global Experts from Israel

Global Experts in Subject

Share This Profile
Recommended Conferences
View more