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.
Deep-tech pioneer addresses 5G network security by leveraging its unique intellectual property and research, extensive experience and relationships with its spinout companies
NSF’s Convergence Accelerator awards 2 projects to SRI for 5G operators to securely operate anywhere and anytime
CHERI is a joint project between Cambridge University and SRI, supported by DARPA
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.
We improve the security of critical infrastructures that support power grids, refineries, financial systems, telecommunications and the Internet.
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.
We develop solutions that enable computer network attack, computer network exploitation, and intelligence, surveillance and reconnaissance (ISR) missions.