Haifa Research Lab
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.
Algorithms and Theory Computer Systems Design