Natarajan Shankar is a computer scientist working at

SRI International SRI International (SRI) is a nonprofit organization, nonprofit scientific research, scientific research institute and organization headquartered in Menlo Park, California, United States. It was established in 1946 by trustees of Stanford Univer ...

Menlo Park, California Menlo Park ( ) is a city at the eastern edge of San Mateo County, California, San Mateo County in the San Francisco Bay Area of California, United States. It is bordered by San Francisco Bay on the north and east; East Palo Alto, California, Eas ...

, where he leads the Symbolic Analysis Laboratory.

Education

Shankar received his Ph.D. degree in computer science, under advisors

Robert S. Boyer Robert Stephen Boyer is an American retired professor of computer science, mathematics, and philosophy at University of Texas at Austin, The University of Texas at Austin. He and J Strother Moore invented the Boyer–Moore string-search algorit ...

and

J Strother Moore J Strother Moore (his first name is the alphabetic character "J" – not an abbreviated "J.") is an American computer scientist. He is a co-developer of the Boyer–Moore string-search algorithm, Boyer–Moore majority vote algorithm, and the Boy ...

, from the

University of Texas at Austin The University of Texas at Austin (UT Austin, UT, or Texas) is a public university, public research university in Austin, Texas, United States. Founded in 1883, it is the flagship institution of the University of Texas System. With 53,082 stud ...

in 1986. His Ph.D. thesis was published as the book "Metamathematics, Machines, and Goedel's Proof" by

Cambridge University Press Cambridge University Press was the university press of the University of Cambridge. Granted a letters patent by King Henry VIII in 1534, it was the oldest university press in the world. Cambridge University Press merged with Cambridge Assessme ...

in 1994.

Career

Shankar initially served as a research associate at

Stanford University Leland Stanford Junior University, commonly referred to as Stanford University, is a Private university, private research university in Stanford, California, United States. It was founded in 1885 by railroad magnate Leland Stanford (the eighth ...

, from 1986 to 1988. In 1989, he joined

'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 The Prototype Verification System (PVS) is a specification language integrated with support tools and an Automated theorem proving, automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, Californ ...

. 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 Carolyn Talcott (born June 14, 1941) is an American computer scientist known for work in formal reasoning, especially as it relates to computers, cryptanalysis and systems biology. She is currently the program director of the Symbolic Systems Bio ...

References

External links

Personal homepage
{{DEFAULTSORT:Shankar, Natarajan Living people Indian computer scientists SRI International people University of Texas at Austin alumni Year of birth missing (living people)