B Srivathsan
Scholar

B Srivathsan

Google Scholar ID: jZPBO50AAAAJ
Chennai Mathematical Institute, Associate Professor of Computer Science
Formal VerificationLogic and Automata theory
Citations & Impact
All-time
Citations
423
 
H-index
13
 
i10-index
14
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)