Shankar received his Ph.D. degree in computer science, under advisors Robert S. Boyer and J Strother Moore, from the University of Texas at Austin in 1986 [REF].
His Ph.D. thesis was published as the book "Metamathematics, Machines, and Goedel's Proof" by Cambridge University Press in 1994 [REF].