Natarajan Shankar
Scholar

Natarajan Shankar

Google Scholar ID: qVzY4XYAAAAJ
SRI International Computer Science Laboratory
Computational LogicAutomated ReasoningFormal MethodsComputer-Aided VerificationProgramming Languages
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.
Resume (English only)