By playing a game, citizen scientists can help increase reliability of mission-critical software systems.
SRI and the University of Cambridge are designing, prototyping, and analyzing trustworthy computer systems that can be gradually adopted with high reliability, resilience, and assurance, effectively letting system and application developers ‘wipe the slate clean' in incremental steps.
SRI provides user-friendly access to key types of Earth system data relevant to the study of climate, as well as background resources.
The Center conducts research and development aimed at providing IoT developers, integrators, and users with effective tools and methods for building and managing secure, privacy-preserving and maintainable IoT systems.
SRI is developing the next generation of online learning tools to meet the needs of a changing workforce.
The SAVE framework supports training in virtual environments through automated assessment of learner performance and tools for content authoring.
STORE uses Google Earth to help students investigate projected climate changes in their own areas.
SRI is developing an advanced system that would quickly help detect APTs and other increasingly sophisticated attacks.
Researchers have created a computer game that could transform the problem of proving software correctness.