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

Cybersecurity collage

Cyber & formal methods

SRI builds, assesses and defends vital computer systems that affect all of our lives. We study the logical foundations of scalable systems beyond the scope of traditional testing or simulation, and we create and apply high-level tools for rigorous mechanical analysis.

Cybersecurity collage

Focus areas

SRI’s Computer Science Laboratory develops leading-edge tools and methods for areas including computer security, high-assurance systems, advanced user interfaces, computer networking, robotics, biotechnology and nanotechnology.

Cyber security

We improve the security of critical infrastructures that support power grids, refineries, financial systems, telecommunications and the Internet.

Formal methods

SRI is a world leader in formal verification of computer systems. We build and offer specifications for high-assurance systems software and hardware.

Bioinformatics and computational biology

We apply computational methods to study and develop tools, software, databases and ontologies to manage and analyze high-throughput, heterogeneous biological data.

Cyberspace operations

We develop solutions that enable computer network attack, computer network exploitation, and intelligence, surveillance and reconnaissance (ISR) missions.

How can we help?

Discovery ServicesPreclinical/Early Clinical Development ServicesPartnership/CollaborationsBasic Research

Once you hit send…

We’ll match your inquiry to the person who can best help you. Expect a response within 48 hours.

OUR PRIVACY POLICY

career

Make your own mark.

Search Jobs
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 Statement.

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