Aesthetic Integration Research Corporation — Department of Defense SBIR Phase I: AF192-001

Aesthetic Integration Research Corporation — SBIR Phase I award from Department of Defense.

Amount
$46,933
Agency
Department of Defense · Air Force
Program / Phase
SBIR · Phase I
Topic
AF192-001
Solicitation
19.2
NAICS
Place of performance
TX
Period
2019-08-02 → 2020-08-02

Description

Our product, Imandra, allows you to analyze properties of complex algorithms and systems, understand their possible behaviors and audit their performance. Imandra is built on many recent advances in “symbolic AI�, computer science and mathematics, and is already relied upon by the leading financial institutions including Goldman Sachs. Imandra is unique in its feature-rich offering, cloud-scalability and its unprecedented degree of automation - democratizing techniques that were historically reserved to highly-specialized teams of PhDs at places like NASA. As US Air Force relies on algorithms and complex systems and its ability to effectively design, develop and audit them is recognized as strategically important. We’ve identified several areas where we believe Imandra can help to advance AF’s mission. Targeting Focus Areas {1, 2, 3, 4, 5, 7A and 8}, and Need ID #3278 as described on AFWERX’s website.