Scholar
Shaz Qadeer
Google Scholar ID: EqIVfYcAAAAJ
Microsoft
Program verification
Programming languages
Distributed systems
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
14,158
H-index
56
i10-index
139
Publications
20
Co-authors
0
