Welcome to my home page. I am an Associate Professor in the Department of Computer Science and Automation at Indian Institute of Science, Bangalore.
My research interests are broadly in the areas of programming languages, program analysis, and software engineering. I am particularly interested in developing automated tools that help programmers understand, verify and transform programs quickly and reliably. I am a member of the Compilers, Programming Languages and Software Engineering research group in CSA, IISc.


Joint workshop by IISc, Microsoft Research, and U. Pennsylvania on Programming Languages, Formal Methods, and Cyber-Physical Systems, in Room 254, Dept. of CSA, IISc, Jan. 10, 2019.
ISEC 2019, 12th Innovations in Software Engineering Conference, Pune, India, Feb. 14-16, 2019.
SANER 2019, IEEE International Conference on Software Analysis, Evolution and Reengineering, Hangzhou, China, Feb. 24-27, 2019.