|Alma mater||IIT Madras |
University of Texas at Austin
|Known for||Prototype Verification System|
|Awards||SRI International Fellow 2009|
Shankar initially served as a research associate at Stanford University, from 1986 to 1988. In 1989, he joined SRI International's Computer Science Laboratory. While at SRI, he has used the Boyer–Moore theorem prover to prove metatheorems such as the tautology theorem, Godel's incompleteness theorem and the Church-Rosser theorem. He has contributed to the development of automated reasoning technology, deductive systems and computational engines, including the Prototype Verification System.
In 2009, he was named an SRI Fellow. 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.