• Skip to primary navigation
  • Skip to main content
SRI logo
  • About
    • Press room
    • Our history
  • Expertise
    • Advanced imaging systems
    • Artificial intelligence
    • Biomedical R&D services
    • Biomedical sciences
    • Computer vision
    • Cyber & formal methods
    • Education and learning
    • Innovation strategy and policy
    • National security
    • Ocean & space
    • Quantum
    • QED-C
    • Robotics, sensors & devices
    • Speech & natural language
    • Video test & measurement
  • Ventures
  • NSIC
  • Careers
  • Contact
  • 日本支社
Search
Close
Bios September 8, 2021

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.

Recent publications

more +
Design and Verification for Transportation System Security (6/1/2015) - In this work, we propose an integrated framework that combines hybrid modeling, formal verification, and automated synthesis techniques for analyzing…
A Framework for High-Assurance Quasi-Synchronous Systems (10/1/2014) - In this paper, we examine the foundations of a quasi-synchronous model of computation Our version of the quasi-synchronous model is…
The Semantics of Datalog for the Evidential Tool Bus (9/1/2014) - The Evidential Tool Bus (ETB) is a distributed framework for tool integration for the purpose of building and maintaining assurance…

How can we help?

Once you hit send…

We’ll match your inquiry to the person who can best help you.

Expect a response within 48 hours.

Career call to action image

Make your own mark.

Search jobs

Our work

Case studies

Publications

Timeline of innovation

Areas of expertise

Institute

Leadership

Press room

Media inquiries

Compliance

Careers

Job listings

Contact

SRI Ventures

Our locations

Headquarters

333 Ravenswood Ave
Menlo Park, CA 94025 USA

+1 (650) 859-2000

Subscribe to our newsletter


日本支社
SRI International
  • Contact us
  • Privacy Policy
  • Cookies
  • DMCA
  • Copyright © 2022 SRI International