Here's a short list of broad research problems I am interested in.
If you are a student, either within IIITB or outside, and you find yourself interested to work in any of the above broad areas, do get in touch. I will be more than happy to discuss with you more details on these ideas.
If you have your own project ideas that can broadly be classified within automated software engineering, lightweight formal methods, programming languages, verification and validation or open source software, I invite you to drop in at my office (Room 205-A) and share your ideas with me.