Ziv Nevo  Ziv Nevo photo       

contact information

Research staff member
Haifa Research Lab, Haifa, Israel
  +972dash4dash829dash6535

links


profile


I received my M.A. from the Computer Science Department, Technion, Israel in 2001, and joined IBM Research - Haifa in 2002. Since then I was involved in various projects in the lab's Formal Verification Group.