back icon
close icon

Capture phrases in quotes for more specific queries (e.g. "rocket ship" or "Fred Lynn")

Natarajan Shankar

Staff Scientist, Computer Science Laboratory

Natarajan Shankar, Ph.D., is a staff scientist in the Computer Science Laboratory at SRI International. He performs research and is published across a wide spectrum ranging from fundamental mathematics to system software building. He is responsible for the creation of the highly influential Prototype Verification System (PVS), a benchmark system for the development of proofs and the verification of algorithms against which other systems are compared. Shankar’s current research ranges from foundational aspects of logic and programming to practical applications in software development, as well as system certification.

He is also very active in the software technology community and has hosted dozens of students, professors, and technology leaders from around the world. Shankar is considered one of the leading scientists in his field, and has played a central role in several international research initiatives. 

Shankar was named an SRI Fellow in 2009.

close check icon

Message Sent

Success! - Thank you for your interest.

cookiebot
cookiebot

SRI and its partners use cookies to improve your browsing experience. If you continue to use this website without changing your cookie settings, you are consenting to the use of cookies by SRI and its partners. For more information on SRI’s privacy practices, including how to decline the use of cookies, please read our Privacy Policy.

I agree
share dwonload plus email external external project copy play call directions linkedin