Check out Our Blog!

Media

Media cover image

At FIXEMEA2023 we discussed how Imandra's AI can improve exchange resiliency.

13 Apr 2023

Media cover image

We are delighted to partner with Exberry.

16 Jan 2023

Media cover image

Imandra is delighted to be a sponsor of the Plato Technology Summit.

16 Jan 2023

Media cover image

Automated reasoning, a new paradigm in certification and onboarding.

8 July 2021

Media cover image

Itiviti partners with Imandra to speed FIX onboarding

27 January 2021

Media cover image

World Economic Forum report on AI in the Financial Services highlights Imandra's leadership

15 September 2020

Media cover image

Itiviti to expand AI capabilities with Imandra alliance

30 January 2020

Media cover image

Analysing Machine Learning Models with Imandra

27 September 2019

Media cover image

PyIDF: Diversity of experiences in Reinforcement Learning

13 September 2019

Media cover image

Imandra Explains “Black-Box” Financial Algos

20 June 2019

Media cover image

Describing Algorithms: Introduction

14 June 2019

Media cover image

Imandra raises $5M for tech to police other computer programs

18 April 2019

Media cover image

Constraint solving your UIs

5 February 2019

Media cover image

Introducing Verified React

7 January 2019

Media cover image

Probabilistic reasoning in ReasonML

26 October 2018

Media cover image

Verifying ReasonReact component logic — ReasonML & Imandra

4 September 2018

Media cover image

Machine Reasonable Design with Imandra

22 August 2018

Media cover image

Imandra interface to Robot OS: Part II

13 August 2018

Media cover image

Imandra interface to Robot OS: Part I

7 august 2018

Media cover image

Scalable Deep Symbolic Reinforcement Learning with Imandra

31 July 2018

Media cover image

Powering Documentation with Jupyter Notebooks

26 July 2018

Media cover image

Creating safe robots with Imandra

10 July 2018

Media cover image

Formalising the FIX Protocol in Imandra

21 June 2018

Media cover image

Analysis of the WGC Exchange using the Imandra Protocol Language

26 April 2018

Media cover image

Machine Reasonable APIs and the public launch of Imandra Protocol Language

5 April 2018

Media cover image

The IEX Auction: Pursuing Greater Clarity

11 January 2018

Media cover image

Industry Looks to Formalize FIX Ecosystem

24 April 2018

Media cover image

Release of Imandra EVM: A formal model of the Ethereum Virtual Machine

31 October 2016

Media cover image

Formal Verification Platform for Blockchain-Based Smart Contracts

27 September 2016

Media cover image

Google’s Schindler Invests in UK Automated Reasoning Startup

13 August 2016

Media cover image

AI Submits Reg AT Comment Letter

16 March 2016

Media cover image

Intel’s Pentium Bug Fix Is Proposed as Solution for Dark Pools

4 March 2016

Media cover image

AI Submits Reg ATS-N Comment Letter

1 March 2015

Media cover image

Financial Industry Looks to Automated Reasoning

17 December 2015

Media cover image

UBS Future of Finance Challenge: Monocle 24 Radio

13 December 2015

Media cover image

UBS crowns winners in Future of Finance competition

11 December 2015

Media cover image

AI wins UBS Future of Finance Challenge

11 December 2015

Media cover image

AI Submits IEX Comment Letter

18 November 2015

Media cover image

AI is a Regional Finalist of The UBS Future of Finance Challenge

25 October 2015

Media cover image

UBS Future Of Finance Regional Finals

17 October 2015

Media cover image

Case Study: 2015 SEC Fine Against UBS ATS

12 October 2015

Media cover image

Market stress puts focus on high-speed technology

6 October 2015

Media cover image

Dark pools back in the dock as regulators scrutinise ITG

12 October 2015

Media cover image

Transparent Order Priority and Pricing

8 August 2015

Media cover image

Creating Safe and Fair Markets

2 April 2015

Media cover image

The year the Flash Boys came into the firing line

17 December 2014

Media cover image

Rethinking exchange reliability

14 November 2014

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