Computer science lab

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.

Focus areas

SRI’s Computer Science Lab 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.

Real-world impact

More+

  • SRI researchers tap Large Language Models to improve password security

    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

    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

    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.

Latest publications

Read more +

Computer Science Lab leadership

Featured researchers