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 the following areas:

Computing

• Speech technology
• Formal methods and dependable systems
• Distributed information processing
• Computer security
• Network intrusion detection
• Computer tools
• Simulations and networks
• Systems design
• MAUDE language system
• Technology in learning

Artificial intelligence

• Artificial intelligence
• Collaborative robotics
• Visual perception (machine vision, expert systems, evidential reasoning, and virtual reality)
• Representation and reasoning
• Natural language
• Bioinformatics
• Pathway Logic for symbolic systems biology
• CALO - Cognitive Assistant that Learns and Organizes
• OASYS - Open Agent Systems for Delegated Computing

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.