Speakers

Dr. Natarajan Shankar Senior Scientist SRI International

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.

Presenting at:

All times are presented in the host university’s local time zone.

Wednesday, December 14, 2022

Software Development and Assurance Pipeline
(8:30am - 9:15am)

You are now leaving the website that is under the control and management of DARPA. The appearance of hyperlinks does not constitute endorsement by DARPA of non-U.S. Government sites or the information, products, or services contained therein. Although DARPA may or may not use these sites as additional distribution channels for Department of Defense information, it does not exercise editorial control over all of the information that you may find at these locations. Such links are provided consistent with the stated purpose of this website.


After reading this message, click  to continue immediately.

Go Back