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.
Division:
Information and Computing Sciences
Focus Areas:
Computing News + Events
San Jose Mercury News, Mar 12, 2013
Our Innovators
 Director, Computer Science Laboratory |
 Principal Scientist, Computer Science Laboratory |
 Program Director and Internet Security Group Leader, Computer Science Laboratory |
 Program Director, Computer Science Laboratory |
 Vice President, Information and Computing Sciences |
