Computer Science Laboratory
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.
-
SRI becomes a founding member of the OCUDU Ecosystem Foundation
Hosted by the Linux Foundation, the OCUDU Ecosystem Foundation will build an open-source, AI-native software stack for 5G and early 6G Radio Access Networks.
-
SRI advances trustworthy data exchange across disparate healthcare systems
Helping systems talk to each other increases patient safety, lowers costs, reduces errors, and streamlines treatment.
-
SRI’s Natarajan Shankar named a 2025 ACM Fellow
The accolade from the Association of Computing Machinery recognizes Shankar’s fundamental contributions in areas such as formal methods and system assurance.
-
Ashish Gehani named 2025 SRI Fellow
Senior principal computer scientist recognized for contributions in cybersecurity and trustworthy systems.
-
Ulf Lindqvist on AI and cybersecurity
Speaking to Information Week, SRI’s Ulf Lindqvist explained AI’s role in empowering cyber defenders to confront emerging threats.
-
Can we put a hospital on wheels?
SRI is working on a mobile healthcare platform that aims to improve healthcare access and health outcomes across rural America.
-
SRI researchers tap Large Language Models to improve password security
Using advanced AI to analyze billions of leaked passwords, SRI researchers reveal the risky human tendencies that make passwords far too easy to guess.
-
Karen Myers: When I introduced Flakey the Robot to Alan Alda
The head of SRI’s AI Center recalls when the TV star and science-communications expert visited SRI to learn more about our extraordinary work in robotics.
-
Patrick Lincoln: I often feel like work isn’t even work
An SRI vice president and director of the Computer Science Lab explains why he’s spent much of his career at SRI: the people.
-
Solving “unsolvable” math challenges with quantum-inspired computers
SRI researchers hope to compete with quantum computing by applying new algorithms to map large problems onto faster, more energy-efficient photonic circuitry.
-
SRI’s FHE accelerator design strengthens security of outsourced data processing
Closing the gap between privacy and computation time.
-
SRI International spearheads two groundbreaking efforts to secure 5G
Deep-tech pioneer addresses 5G network security by leveraging its unique intellectual property and research, extensive experience and relationships with its spinout companies