Shuvendu Lahiri is a Principal Researcher at Microsoft Research, where they have worked since 2004, focusing on tools to enhance programmer productivity through formal verification, program analysis, automated reasoning, and differential analysis of programs. They also completed a summer internship at Microsoft Research in 2003 and at Motorola Inc. in 2001. Currently, Shuvendu is pursuing a PhD in Computer Engineering from Carnegie Mellon University while also studying for a BTech in Computer Science and Engineering at the Indian Institute of Technology, Kharagpur.
This person is not in the org chart
This person is not in any teams
This person is not in any offices