Karen Yorav

Research Staff Member

Research lab: Haifa Research Lab

Welcome!
I am a research staff member in the Formal Verification group at the IBM Haifa Research Lab.

Background

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.

Conference Program Committees:

FMCAD08 - Formal Methods in Computer Aided Design 2008
HVC08 - Haifa Verification Conference 2008
BPR08 - 1st International Workshop on Bit-Precise Reasoning
CAV08 - 20th International Conference on Computer Aided Verification, 2008
HVC07 - Haifa Verification Conference 2007 (Chair)
DATE07 - Design Automation and Test in Europe 2007
HVC06 - Haifa Verification Conference 2006 (Hardware Verification track co-chair)
The British Israeli Workshop on Semantics and its Applications 2005
Attached file:

Last updated 25 Mar 2008