我是 IBM Research, Haifa 的一名研究人员。我对软件开发的所有质量方面以及寻找提高研究技术适用性的方法以帮助提高工业环境中的软件质量感兴趣。感兴趣的领域包括自动测试生成、软件工程的机器学习、云测试、组合测试、形式化验证和实证软件工程。我合作撰写了 30 多篇学术论文。
我在以色列理工学院 Technion 完成了硕士学位，师从 Orna Grumberg 教授。我的硕士论文是关于符号轨迹评估的自动精化和空洞检测。
我在特拉维夫大学计算机科学学院完成了关于组合模型和测试计划的理解和演变的博士学位，师从 Shahar Maoz 博士。我的论文获得了 ACM SIGSOFT 杰出博士论文奖。
