Shuvendu Lahiri
Principal Researcher at Microsoft
- Role
- Principal Researcher at Microsoft
- Location
- Redmond, WA, US
- LinkedIn followers
- 500 followers
Research & DevelopmentView LinkedIn profile
Experience
Principal Researcher
Jan 2004 — Present · Redmond, WA, US
Tools for improving programmer productivity using formal verification, program analysis, automated reasoning, differential analysis of programs.
Education
Carnegie Mellon University
PhD
Indian Institute of Technology, Kharagpur
Btech
Skills
- Formal Verification
- C
- Software Development
- Model Checking
- Research
- Computer Science
- Testing
- Software Engineering
- Latex
- Algorithms
- Artificial Intelligence
- Machine Learning
- Computer Architecture
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.