Natarajan Shankar
E46733
Natarajan Shankar is a computer scientist known for his contributions to automated reasoning and formal methods, particularly in theorem proving and verification.
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
→
researcher → |
| citizenship |
United States
→
|
| countryOfResidence |
United States
→
|
| educatedAt |
Indian Institute of Technology Madras
→
University of Texas at Austin → |
| employer |
SRI International
→
|
| fieldOfWork |
automated reasoning
→
computer science → decision procedures → formal methods → logic in computer science → program verification → theorem proving → verification of hardware and software systems → |
| hasAcademicAdvisor |
Robert S. Boyer
→
|
| knownFor |
contributions to automated reasoning
→
contributions to formal methods → work on theorem proving → work on verification → |
| languageSpoken |
English
→
|
| memberOf |
SRI International Computer Science Laboratory
→
|
| notableWork |
research on decision procedures for verification
→
research on mechanized theorem proving → |
| workLocation |
Menlo Park, California
NERFINISHED
→
|
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Herbrand Award
→
|
notableRecipient |