Imandra protects against emerging threats and helps ensure the correct behavior of autonomous systems.
Resilience of National Market Infrastructure
Financial markets are critical national infrastructure. Working with DARPA, Imandra applies automated reasoning and digital-twin modeling to stress-test the resilience of the systems underpinning national markets — surfacing failure modes, verifying correct behavior under extreme conditions, and helping keep markets orderly even as systems evolve.
Defense Advanced Research Projects Agency
Digital twins
Machine-checked models of exchanges, venues, and the systems that run national markets.
Resilience under stress
Explore extreme and adversarial scenarios before they happen in production.
Verified change
Re-platform and upgrade critical systems with confidence and machine-checked evidence.
What Imandra brings to the mission
A non-exhaustive list of the capabilities Imandra brings to the government's most demanding analytical and assurance needs.
AI for strategic and tactical decision-making
Imandra analyzes complex environments — modeled with both discrete and continuous events — and extrapolates their possible future outcomes, compressing vast state-spaces into a compact collection of symbolic scenarios.
Imandra brings unprecedented insight into sequential data and rigorous analysis of complex systems and environments.
Data analysis and model insight
Data analysis and rule extraction
Imandra can extract logical patterns from structured transactional data and consolidate them into a single operational model.
Model analysis
Imandra can analyze model properties, explain its behaviors, and project its possible future evolutions — with associated probabilities of those scenarios occurring.
From SysML models to verified behavior
Imandra connects model-based systems engineering (MBSE / SysML) with automated reasoning — turning system models into executable, analyzable artifacts whose behavior can be rigorously verified. The same techniques that assure trading venues and autonomous systems apply directly to defense and intelligence programs.
Bridging models and proofs
A proven partner to the US Government
Imandra Inc. — through its wholly-owned subsidiary Aesthetic Integration Research Corporation — has worked with the US Federal Government for years. In Spring 2020 we were selected for the DCODE AI/Big Data accelerator in Washington, DC, and we have since supported the US Navy and US Air Force across a range of programs. Contact us at contact@imandra.ai for further information.
DCODE 2020 · Washington, DC
Get more information
To learn more, download our latest leaflet on Imandra for the US Department of Defense.
Download leafletFurther technical details
Dive into the engine behind Imandra's reasoning and verification capabilities.
Explore ImandraX