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:

HVC'09 - 5th Haifa Verification Conference 2009
ICCD'09 - International Conference on Computer Design 2009
FMCAD'09 - Formal Methods in Computer Aided Design 2009
FMCAD'08 - Formal Methods in Computer Aided Design 2008
HVC'08 - Haifa Verification Conference 2008
BPR'08 - 1st International Workshop on Bit-Precise Reasoning
CAV'08 - 20th International Conference on Computer Aided Verification, 2008
HVC'07 - Haifa Verification Conference 2007 (Chair)
DATE'07 - Design Automation and Test in Europe 2007
HVC'06 - Haifa Verification Conference 2006 (Hardware Verification track co-chair)
The British Israeli Workshop on Semantics and its Applications 2005

Last updated 17 Aug 2009