I lead the Software Engineering and Testing Group at CSE, IIT Gandhinagar. Research activities focus on the improvement of existing and the development of new scalable and performant software analysis methodologies to ensure construction of high-quality and trustworthy software systems. Our work has been published and presented in conferences and journals such as ASE, FSE, ICSME, ICST, JSS, EMSE, TSE, and TOSEM. I regularly serve as a Program Committee member in the Artifact Evaluation track of conferences such as ISSTA, and PPoPP. I am also a journal reviewer for TSE, JSS, IST, and SCP.