[画像:SRI Logo]
Computer Science Laboratory
The Computer Science Laboratory studies the logical foundations of
scalable systems that are beyond the scope of traditional testing or
simulation, and builds and applies efficient high-level tools for
rigorous mechanical analysis. Current systems of interest include not
only traditional computer hardware and software, but also biological
systems and nanoelectronics.
About CSL
Research Activities
Other Activities
Related Sites
|
About Us |
R&D Divisions |
Careers |
Newsroom |
Contact Us
©
2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy
|