Natarajan Shankar is a computer scientist working at SRI International in Menlo Park, California, where he leads the Symbolic Analysis Laboratory.
[1] 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.
[1] His Ph.D. thesis was published as the book "Metamathematics, Machines, and Goedel's Proof" by Cambridge University Press in 1994.
[2] Shankar initially served as a research associate at Stanford University, from 1986 to 1988.
[3] The fellowship recognizes exceptional staff members for their outstanding contributions to science.