My general research interests are in the fields of software engineering, program analysis, and mining source code and bug repositories for program comprehension and defect analysis. In particular, I am interested in developing tools and techniques based on program analyses and repository mining that help programmers understand and build dependable software.

A part of my research focuses on developing techniques to ensure that programs demonstrate intended behavior. More specifically, it is about analyzing programs to ensure that they fail less frequently and if they do, they do it gracefully by reporting the error and possibly also performing the error diagnosis and recovery. The techniques that I develop include static and dynamic program analysis as well as program transformation techniques. In addition to safety properties, I am interested in analyzing programs for security properties, performance, and timing properties.

The other part of my research focuses on program comprehension, defect analysis and code search. We are trying to exploit the knowledge sources available in various forms including source code and bug repositories to improve our understanding of code and defects. This work combines program analysis with mining and information retrieval techniques.

In case you are looking for a PhD position and are interested in any of my research areas, please contact me by sending an email and your CV.