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 People Contact Research Activities Formal Methods and Dependable Systems Rewriting Logics and Systems Secure Systems Other CSL Projects Database Interoperability and Security Dependable Systems Architectures Intrusion Detection Networking Infrastructure Security Other Activities Risks Forum Computer Security Foundations Workshop Journal of Computer Security Cyberhabitats Cyber Security Research and Development Center (CSRDC) Intrusion Tolerance for NEST Related Sites Artificial Intelligence Center Speech Technology and Research Laboratory (STAR)

About Us     R&D Divisions     Careers     Newsroom     Contact Us
© 2012 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy