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 + Computing Sciences
Focus Areas:
Computing Our Innovators
 Director, Computer Science Laboratory |
 Program Director, Computer Science Laboratory |
 Vice President, Information + Computing Sciences |
