Computer Science Laboratory | SRI International
This is an archived website. Go to the current SRI website

Toggle Menu

Computer Science Laboratory

SRI's Computer Science Laboratory is a world leader in the development of entirely new tools and methods for building, assessing, and defending computer systems. The laboratory studies the logical foundation of scalable systems that are beyond the scope of traditional testing or simulation.

Current areas of concentration include cyber security, smart grid technologies, system verification, high-assurance systems, and computational biology.