Imandra is AI
for capital markets APIs.

Finance runs on complex and safety-critical APIs. Our automated reasoning technology allows your clients to connect faster, safer and smarter.

Some of the world's best already rely on Imandra:

In 2017 Imandra Inc. partnered with Goldman Sachs to help deliver the SIGMA X MTF Auction Book, a new orderbook venue implementing periodic auctions. Imandra Inc. used Imandra, our own automated reasoning engine, to formally model the Goldman Sachs design of the SIGMA X MTF Auction Book, verify its key properties, and automate rigorous testing. Now that the venue is live, Imandra is being used to perform ongoing validations of trading operations.

Connecting to your clients and counterparts can be fast and easy. Let us show you how.

WEF recognizes
Imandra's AI leadership

The World Economic Forum (WEF) in a detailed report recently highlighted Imandra's unique position to pave way for scalable and AI-powered Model-Based Software Engineering (MBSE) within financial markets as a key ingredient for modernization of financial infrastructure.

Imandra Markets - suite of AI-powered tools for helping your clients intelligently connect to your systems

IPL Features
Imandra speed icon

Speed

Our customers were on average 6 months ahead of delivery schedule.

Imandra intelligent insights icon

Intelligent Insight

Our customers systematically calibrate their client experience. Can't go into details, but let's just say we've never lost an account.

Imandra for government icon

Governance

Our customers understand EVERY single decision their systems make.

Imandra for government icon

What about you?

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.

Imandra automated testing icon

Automated test case generation

Imandra automatically describes and translates into test scripts all the edge cases of your FIX gateway.

Imandra design icon

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.

Imandra simulators icon

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.

Imandra documentation icon

Documentation

Everyone hates maintaining documentation, so we automated it away.

Imandra business insight icon

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.

IPL Features

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:

Imandra business FIX certificate icon

FIX certification and onboarding through exclusive partnership with ITIVITI

Imandra FIX connection icon

Ongoing FIX connection audit and business intelligence analysis

Imandra custom FIX development icon

Development and support for proprietary trading protocols

Learn more
Imandra state map UI preview

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.

Imandra effect diagram
Imandra automated testing icon

Automated testing

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.

Imandra governance icon

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.

Imandra design audit icon

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.

Imandra business insight icon

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:

Imandra consulting icon

Consulting

We are the pioneers of applying automated reasoning to design, testing and audit of software in finance.

Imandra - Reasoning as a service icon

Reasoning as a Service®

Banks and other types of financial firms use Imandra via secure connections to our public cloud infrastructure.

Imandra on-premise development icon

On-prem deployment

While we take full advantage of the cloud, we will work with you if this is not an immediate option.

Learn more
Several examples of Imandra app UI

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 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 such as Python.

Learn more
Imandra Core
Symbols representing different industries that will benefit from the implementation of Imandra

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.

Current focus:

Future applications:

Distributed Ledger icon

Distributed Ledger

Robotics icon

Robotics

Safety-critical industries icon

Safety-critical industries

Hardware manufacturing icon

Hardware manufacturing

Legal icon

Legal

Web development icon

Web development

Research icon

Research

Education icon

Education

By using this website, you agree to our cookie policy

Please note that the Imandra website no longer supports Internet Explorer

We recommend upgrading to the latest Microsoft Edge, Google Chrome, or Firefox