Imandra Inc. (through its wholly-owned subsidiary Aesthetic Integration Research Corporation) has entered the US Federal Government marketplace and is already working with US Navy and US Air Force. In Spring 2020, we participated in the DCODE 2020 AI/Big Data accelerator in Washington, DC. Below is a non-exhaustive list of capabilities Imandra brings to the Government needs. Please contact us at email@example.com for further information.
AI for strategic and tactical
Imandra analyzes complex environments (modeled with both, discrete and continuous events) and extrapolates into the future their possible outcomes. Imandra compresses their vast state-spaces into a compact collection of symbolic scenarios.
AI for testing/audit/monitoring
of complex systems:
Imandra is a natural medium for modeling, testing and verifying complex systems. Its formal verification features bring unprecedented rigor to software development, democratizing the scientific techniques traditionally reserved to PhDs at places like NASA.
Rigorous (formal) analysis
of ML/AI algorithms:
The Gov't relies on numerous opaque algorithms. Do they always behave as expected? Are they robust? Are they operating within the regime for which they were were trained? Are they ethical? Imandra can help answer these and many other questions.
Data analysis and rule extraction:
Imandra can extract logical patterns from structured transactional data and consolidate them into a single operational model.
Imandra can analyze model properties, explain its behaviors and project its possible future evolutions (with associated probabilities of those scenarios occurring).
To learn more please download our recent leafletDownload leaflet
Check out our Demo Gallery containing a sortable diverse collection of Imandra examples.Demo Gallery