Computing

The pace of change in computing is dizzying, and SRI has been at the forefront since the beginning. Computer science at SRI includes more than 50 years of firsts, from magnetic ink character recognition that spawned electronic banking to the computer mouse and the Internet. Today, we are continuing to help clients meet the pressures of faster technology cycles and the needs for security and privacy.

Government and commercial clients benefit from our expertise in many areas, from basic and applied research to developing and testing advanced systems. Our researchers strive to understand the computational principles underlying intelligence in humans and machines to develop computer-based systems to solve problems. We develop pioneering technologies in these areas:

Computing sciences

• Computer Science Laboratory
• Formal methods and dependable systems
• Rewriting logics and systems
• Secure systems
• Database interoperability and security
• Dependable systems architectures
• Intrusion detection
• Networking
• Infrastructure security
• "Smart grid" technologies (PDF)
• DATES: Detection and Analysis of Threats to the Energy Sector (PDF)
• Technology in learning

Speech technologies

• Speech Technology and Research (STAR) Laboratory
• Natural language

Artificial intelligence

• Artificial Intelligence Center
• Collaborative robotics
• Integrated learning
• Mapping software for robotics
• Visual perception (machine vision, expert systems, evidential reasoning, and virtual reality)
• Representation and reasoning
• Bioinformatics
• Evolutionary systems biology
• Symbolic systems biology
• CALO - Cognitive Assistant that Learns and Organizes

For information about our work in related areas, visit SRI's Information and Computing Sciences Division and our Center for Technology in Learning in SRI's Policy Division.