About MeI am a Ph.D. student of Prof. Orna Grumberg at the Technion – Israel Institute of Technology, Israel. ResearchMy 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.
|