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
Publications
1 items
Show Me The Money: An Exercise in Proof-Driven Software Understanding
2026
Cited
0
Co-authors
10 total
Ashish Tiwari
Computer Scientist, SRI International; Researcher Microsoft
Leonardo de Moura
Amazon Web Services
Wenchao Li
Associate Professor, Boston University
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Stéphane Graham-Lengrand
SRI International
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Vijay Ganesh
Professor, Georgia Institute of Technology, Atlanta, GA, USA
Susmit Jha
Director, Neurosymbolic Computing and Intelligence, SRI International
