Shankar is a computer scientist at the SRI International computer science laboratory in Menlo Park. His main research interests are in formal methods for the specification and verification of hardware and software, and automated deduction. He graduated with a B.Tech. in electrical engineering from IIT Madras in 1980, and a Ph.D. in computer science from the University of Texas at Austin in 1986.
|You are not logged in|
|©2002-2017 U.C. Regents|