Skip to main content
Research

Karen Yorav

Title

Researcher
Karen Yorav

Bio

I am a research staff member in Cloud Quality group at the IBM Research lab in Haifa. I am a formal verification researcher and have been working on compliance in the past few years.

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:

  • CAV'18 -30th International Conerence on Computer Aided Verification
  • CAV'16 - 28th International Conerence on Computer Aided Verification
  • VSTTE'14 -6th Working Conference on Verified Software: Theories, Tools, and Experiments
  • NFM'14 - NASA Formal Methods 2014
  • CAV'12 - 24th International Conference on Computer Aided Verification
  • FMCAD'11 - Formal Methods in Computer Aided Design 2011
  • HWVW'10 - 1st Hardware Verification Workshop 2010 (co-chair)
  • FMCAD'10 - Formal Methods in Computer Aided Design 2010
  • CAV'10 - 22nd International Conference on Computer Aided Verification
  • 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

Patents