I am a Ph.D. student of Prof. Orna Grumberg at the Technion – Israel Institute of Technology, Israel.
My main area of research is automated program repair.
In my work, I focus on sematic-based repair, using formal specifications and formal methods.
My vision is to devise repair tools that can be integrated into the work-flow of every programmer, without special effort.
The methods and algorithms developed as part of my research are implmented in the open-source tool AllRepair.
Other research interests of mine are programming languages, software synthesis and software model checking.