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)