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 and (of late) machine learning 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.