His research primarily focuses on program analysis and transformation for dynamic programming languages, with a particular emphasis on applying these techniques in the context of smart IDEs and other programming tools.