Aesthetic Integration Research Corporation — Department of Defense SBIR Phase I: J201-CSO1
Aesthetic Integration Research Corporation — SBIR Phase I award from Department of Defense.
- Amount
- $45,387
- Agency
- Department of Defense · Air Force
- Program / Phase
- SBIR · Phase I
- Topic
- J201-CSO1
- Solicitation
- 20.1
- NAICS
- —
- Place of performance
- TX
- Period
- 2020-03-09 → 2020-06-09
Description
Our product, Imandra, is an automated reasoning engine for analysis of data and algorithms. It allows you to model complex systems and “ask questions” about their behavior. By “questions” we mean: - Explain the decisions that a system makes - Identify anomalies in its operation (and attempt to explain them) - Generate plans to achieve specified objectives (and demonstrate alternative solutions) - Formally (mathematically) verify the system design and test its implementation As an example, one of our public sector clients is Goldman Sachs which uses Imandra to model, formally verify, audit and extract actionable intelligence from their latest European trading platform (Sigma X). Imandra is built on the latest advances in AI (symbolic and statistical) and combines expressive interfaces (converting code into mathematical logic) with unprecedented automation. Imandra may be run standalone or as a service and seamlessly integrated into other applications and interfaces.