Natarajan Shankar
Natarajan Shankar
Pronouns: he/him
Principal Researcher, Computer Science Laboratory, SRI International
- Joined July 2019
Names
Emails
****@csl.sri.com (Confirmed)
Personal Links
Career & Education History
Principal Researcher
Computer Science Laboratory, SRI International (sri.com)
1989 – Present
Advisors, Relations & Conflicts
PhD Advisor
J Strother Moore
1981 – 1986
Expertise
Auto-formalization
2014 – Present
Automated Reasoning
1981 – Present
Formal Methods
1981 – Present