I am a research staff member at IBM Research, Haifa. I'm interested in all quality aspects of software development and in finding ways to increase the applicability of research technologies to help improve software quality in industrial settings. Areas of interest include automatic test generation, machine learning for software engineering, Cloud testing, combinatorial testing, formal verification, and empirical software engineering. I co-authored over 30 academic papers.
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 completed my PhD on comprehension and evolution of combinatorial models and test plans at the School of Computer Science, Tel Aviv University, under the supervision of Dr. Shahar Maoz. I won an ACM SIGSOFT Outstanding Doctoral Dissertation Award for my dissertation.
