About Natarajan Shankar
Natarajan Shankar was an Indian computer scientist and logician, known for Prototype Verification System.
Natarajan Shankar is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory.
Education Shankar received his Ph.D. degree in computer science, under advisors Robert S. Boyer and J Strother Moore, from the University of Texas at Austin in 1986.
Career Shankar initially served as a research associate at Stanford University, from 1986 to 1988. The fellowship recognizes exceptional staff members for their outstanding contributions to science. The other SRI Fellows in the Computer Science Laboratory at SRI are Peter G. Neumann, John Rushby, Patrick Lincoln and Carolyn Talcott.
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
Related people
Same field, nearest in time
Frequently asked questions
Who was Natarajan Shankar?
Indian computer scientist
When was Natarajan Shankar born?
Natarajan Shankar was born in India.
What was Natarajan Shankar's occupation?
Natarajan Shankar was a computer scientist and logician.
What was Natarajan Shankar known for?
Natarajan Shankar was known for Prototype Verification System.
What nationality was Natarajan Shankar?
Natarajan Shankar was Indian.
Sources & further reading
· Wikipedia: Natarajan Shankar
Cite this page
APA: Biography.guide. (2026). Natarajan Shankar. https://biography.guide/natarajan-shankar/
MLA: "Natarajan Shankar." Biography.guide, https://biography.guide/natarajan-shankar/.
Chicago: "Natarajan Shankar." Biography.guide. https://biography.guide/natarajan-shankar/.
Data last updated: 2026-09-20 · Spot an error? Report a correction.
Page generated 2026-09-27 04:58 UTC