My research interests lie broadly in the area of software engineering, particularly the formal aspects of it, as opposed to its process aspects. Through my research, I strive to come up with ways by which software engineers can be more productive in their jobs. These include coming up with tools and techniques for building, verifying and testing software systems in ways that result in fewer and easier to find bugs.
Here's a brief professional biography.
Here's my official page at IIITB.
I am one of the conveners of Software Engineering Lab, IIITB. Here's my personal lab page.
Students, here's something you may like to take a look at.