My research focuses on helping programmers and non-programmers on their daily tasks, by leveraging Program Synthesis and Program Repair techniques. Some of my other research interests include Formal Methods and Compilers.
My research focuses on helping programmers and non-programmers on their daily tasks, by leveraging Program Synthesis and Program Repair techniques. Some of my other research interests include Formal Methods and Compilers.