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.

Some personal links.

Events

1st Software Engineering Research in India (SERI) Update meeting, July 12-13 2019, at IISc Bangalore.

Open positions

We have a requirement for a Research Assistant, to conduct research in the area of program verification using program logic. Necessary qualification is B.E./B.Tech or M.E./M.Tech from reputed colleges. Please email me your CV if you are interested.