Scholar
Shuvendu Lahiri
Google Scholar ID: 0PzT1VoAAAAJ
Senior Principal Researcher, Microsoft Research
Formal methods
Software Engineering
Programming Languages
AI4Code
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,566
H-index
31
i10-index
65
Publications
20
Co-authors
97
list available
Publications
1 items
VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
2025
Cited
0
Co-authors
13 total
Shaz Qadeer
Microsoft
Randal Bryant
Carnegie Mellon University
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Akash Lal
Microsoft Research, India
Sarah Fakhoury
Senior Researcher, Microsoft Research
Isil Dillig
UT Austin
Todd Mytkowicz
Microsoft Research
Michael D. Ernst
Professor of Computer Science & Engineering, University of Washington
