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.
Design validation
Believe it or not, but specs have bugs too. IPL is designed to detect any issues before they make their way into code.
On-demand simulators
Any IPL model can be turned into an on-demand simulation environment that's faithful to how the actual gateway will behave.
Documentation
Everyone hates maintaining documentation, so we automated it away.
Actionable insight
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.
How we work with you:
FIX certification and onboarding through exclusive partnership with Itiviti
Ongoing FIX connection audit and business intelligence analysis
Development and support for proprietary trading protocols

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 to financial software, but the recent advances in AI, computer science and mathematics are changing this.
Automated testing
Imandra' Region Decomposition technology is a groundbreaking AI-powered approach to testing systems with virtually infinitely many possible states. Similar techniques are used in avionics.
Governance
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.
Design audit
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.
Business insight
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:
Consulting
We are the pioneers of applying automated reasoning to 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.
On-prem deployment
While we take full advantage of the cloud, we will work with you if this is not an immediate option.

Imandra Markets: Autopilot (coming soon)
Venue-specific Reinforcement Learning (RL) trading agents trained on precise and faithful venue models and their order flow. Delivered as a high-performance library and may be seamlessly integrated into your SOR and other trading systems. 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 moreImandra Core - the mathematic 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 such as Python.
Learn moreIf 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.
Current focus:
Future applications:
Distributed Ledger
Robotics
Safety-critical industries
Hardware manufacturing
Legal
Web development
Research
Education