By playing a game, citizen scientists can help increase reliability of mission-critical software systems.
SRI is creating technology to translate multiple foreign languages in all genres, retrieve information from translated material, and enable bilingual communication via speech or text.
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 technical, management, and subject matter expert support for the wide range of research, development, testing, evaluation, and transition activities conducted through the Center.
SRI is developing an automated reading system that makes the information in textbooks accessible to a range of formal reasoning systems.
SRI is researching the inferential validity, reliability, and effectiveness of formative assessments embedded within games.
The SAVE framework supports training in virtual environments through automated assessment of learner performance and tools for content authoring.
SRI is developing an advanced system that would quickly help detect APTs and other increasingly sophisticated attacks.
SRI International uses virtual gaming environments to research online behavior across cultures.
Researchers have created a computer game that could transform the problem of proving software correctness.