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.

William Mark
President, Information and Computing Sciences

Patrick Lincoln
Vice President, Information and Computing Sciences Director, Computer Science Laboratory

Our work
more +
DOE announces $1.9 million to NYU and SRI to develop TRAPS program
TRAPS seeks to detect and localize anomalies in power grid cyber-physical systems
SRI leads collaborative effort that uncovered cybersecurity issues in industrial control system safety instrumentation and management
SRI worked with penetration testers and LOGIIC safety system experts to improve overall security of ICS safety systems
Discussing LOGIIC Project 12 – Safety Instrumentation
Ulf Lindqvist and Laura Tinnel of SRI International discuss the recent LOGIIC report on the (in)security of safety instrumentations systems
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.