Scholar
Natarajan Shankar
Google Scholar ID: qVzY4XYAAAAJ
SRI International Computer Science Laboratory
Computational Logic
Automated Reasoning
Formal Methods
Computer-Aided Verification
Programming Languages
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
14,503
H-index
58
i10-index
133
Publications
20
Co-authors
49
list available
Contact
No contact links provided.
Publications
1 items
Show Me The Money: An Exercise in Proof-Driven Software Understanding
2026
Cited
0
Resume (English only)
Co-authors
49 total
Co-author 1
Co-author 2
Co-author 3
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Co-author 5
Leonardo de Moura
Amazon Web Services
Wenchao Li
Associate Professor, Boston University
Co-author 8