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.
Fall 2003: Little Engines of Proof
Recent Technical Reports
Marktoberdorf 1996 Summer School Lectures
Recursive Programming and Proving: Course Notes
Book: Metamathematics, Machines, and Goedel's Proof
IFIP Working Group 2.3
Natarajan Shankar (firstname.lastname@example.org)