Portrait of Shuvendu Lahiri

Shuvendu Lahiri

Senior Principal Researcher


I am a Senior Principal Researcher in the Research in Software Engineering (RiSE) Group. I am interested in the development and the application of formal methods for making program verification, testing and review (especially of production code) more scalable and automated. Earlier, I obtained my PhD from Carnegie Mellon University, and my B.Tech. from Indian Institute of Technology, Kharagpur, India.