Imandra: Cloud-native automated reasoning engine

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.