I am a research staff member at IBM Haifa research lab since 2001. I am an IBM master inventor. Since 2008 I am the owner of the IBM Functional Coverage Unified Solution (IBM FOCUS) tool.
My main areas of research are combinatorial testing, functional coverage analysis, formal verification, and concurrency testing and debugging. Currently I am researching techniques to increase the applicability of combinatorial testing, including adoption of formal methods.
I completed my M.Sc at the Technion, Israel Institute of Technology, under the supervision of Prof. Orna Grumberg. My M.Sc thesis was on automatic refinement and vacuity detection for symbolic trajectory evaluation. I am currently studying for my PhD on model-based testing at the School of Computer Science, Tel Aviv University, under the supervision of Dr. Shahar Maoz.
A complete list of my publications appears in the publications tab.
|Citations to my publications|