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. 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