Ziv Nevo  Ziv Nevo photo         

contact information

Research staff member
Haifa Research Lab, Haifa, Israel



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.