Dr. Natarajan Shankar
Dr. Shankar is a Staff Scientist at the SRI International Computer Science Laboratory, where he is involved in the development of formal verification tools such as PVS, SAL, and ICS. He is the author of "Metamathematics, Machines, and Goedel's Proof", published by Cambridge University Press (1994). He graduated with a B.Tech in EE from Indian Institute of Technology, Madras in 1980, and a Ph.D. in CS from the University of Texas at Austin in 1986.
|©2002-2018 U.C. Regents|