Imandra Markets: Systems
A modern take on Model-Based Engineering for complex financial trading systems.
Model-Based Engineering is relied upon in safety-critical industries like avionics and hardware engineering. Until now, it was impossible to apply it to financial software, but the recent advances in AI, computer science, and mathematics are changing this.
Imandra's Region Decomposition technology is a groundbreaking AI-powered approach to testing systems with virtually infinitely many possible states. Similar techniques are used in avionics.
Our clients use Imandra to reconcile every single decision that their systems make. Any deviation (for any reason) from the model is addressed immediately. This is what governance should be.
In safety-critical industries, most bugs are introduced during the design stage. We apply highly automated formal verification to ensure the design of your system is correct.
By running many "what if's" and aggregating them into actionable intelligence, Imandra gives you quantitative and precise recommendations on how to improve your clients' experience.
How we work with you:
We are the pioneers of applying automated reasoning to the design, testing, and audit of software in finance.
Reasoning as a Service®
Banks and other types of financial firms use Imandra via secure connections to our public cloud infrastructure.
While we take full advantage of the cloud, we will work with you if this is not an immediate option.
Imandra Markets: Connectivity
Home of the AI-powered FIX certification and onboarding
What used to be manual, error-prone, and time-consuming is now automated, precise, and fast. Our technology has redefined how the industry does connectivity. We'd love an opportunity to show you how.
Automated test case generation
Imandra automatically describes and translates into test scripts all the edge cases of your FIX gateway.
Believe it or not, but specs have bugs too. IPL is designed to detect any issues before they make their way into code.
Any IPL model can be turned into an on-demand simulation environment that's faithful to how the actual gateway will behave.
Everyone hates maintaining documentation, so we automated it away.
By analyzing production trading data, we can tell you what edge cases and features your clients are using and detect any worrisome deviations.
We've created Imandra Protocol Language (IPL) to express complex system interfaces. Its mathematical precision allows us to apply cutting-edge AI to bear on system connectivity.
Autopilot (coming soon)
Venue-specific Reinforcement Learning (RL) trading agents trained on precise and faithful venue models and their order flow. Delivered as high-performance libraries for seamless integration into your SOR. Recalibrated and updated daily. Built with breakthrough AI for reasoning about infinite state-spaces of venue logic - including order types, trading modes and messaging protocols.Learn more
Imandra Core - the mathemagic powering it all
Imandra's logic is built directly upon the high-performance functional programming languages OCaml and ReasonML (www.ocaml.org) and (www.reasonml.github.io). This means that Imandra can directly reason about programs written in these languages. Moreover, we’ve built interfaces for other popular languages.Learn more
If software is eating the world,
we really should take it more seriously.
When the algorithms we rely on are unsafe, unfair, or inexplicable, the results can be catastrophic. Imandra is powering a new generation of tools for the rigorous design, analysis, and governance of complex algorithms.
at Imandra labs