Ziv Nevo
Haifa Research Lab
IBM Research
Israel
Biography
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. 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.
Research Interest
Algorithms and Theory Computer Systems Design