Natarajan Shankar

Natarajan Shankar
Born	India
Fields	Computer Science
Institutions	SRI International
Alma mater	IIT Madras University of Texas at Austin
Known for	Prototype Verification System
Notable awards	SRI International Fellow 2009

Natarajan Shankar is a computer scientist working at SRI International, California.^[1]

His PhD thesis was published as the book " Metamathematics, Machines, and Goedel's Proof"^[2] by Cambridge University Press in 1994. 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 contributed to the development of automated reasoning technology, deductive systems and computational engines.

In 2009, he was named 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 and Patrick Lincoln.

References

1. ^ Floc'02 website - About Natarajan Shankar
2. ^ Book- Metamathematics, Machines, and Goedel's Proof

External links

• Personal homepage

Persondata
Name	Shankar, Natarajan
Alternative names
Short description
Date of birth
Place of birth	India
Date of death
Place of death