Computer science laboratory
Building assessing, and defending 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.
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 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.
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.
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.
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.
We are working to create the first automatic deductive synthesis of a unification algorithm. The program is extracted from a proof of the existence of an output substitution that satisfies…
We discuss an approach in which the virtual environment is semantically instrumented in order to allow for the tracking of and reasoning about open-ended learner activity therein.
This paper presents a novel diagnosis cloud framework that enables the extraction and transfer of knowledge from one network to another. It also presents use cases and requirements. We present…