Natarajan Shankar

Computer Scientist, SRI's Computer Science Laboratory.

Addresses:

Bio: Graduated with a B.Tech in E.E. from IIT ( unofficial IIT Madras page), Madras, India in 1980. Received a Ph.D. in C.S. in 1986 from the University of Texas at Austin.

Projects:

Fall 2003: Little Engines of Proof
Recent Papers
Recent Drafts
Recent Talks
Recent Technical Reports
PVS Examples
Marktoberdorf 1996 Summer School Lectures
Recursive Programming and Proving: Course Notes
Book: Metamathematics, Machines, and Goedel's Proof
IFIP Working Group 2.3

Other:

Natarajan Shankar (shankar@csl.sri.com)