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

We are delighted to partner with Exberry.
16 Jan 2023

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

Automated reasoning, a new paradigm in certification and onboarding.
8 July 2021

Itiviti partners with Imandra to speed FIX onboarding
27 January 2021

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

Itiviti to expand AI capabilities with Imandra alliance
30 January 2020

Analysing Machine Learning Models with Imandra
27 September 2019

PyIDF: Diversity of experiences in Reinforcement Learning
13 September 2019

Imandra Explains “Black-Box” Financial Algos
20 June 2019

Describing Algorithms: Introduction
14 June 2019

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

Constraint solving your UIs
5 February 2019

Introducing Verified React
7 January 2019

Probabilistic reasoning in ReasonML
26 October 2018

Verifying ReasonReact component logic — ReasonML & Imandra
4 September 2018

Machine Reasonable Design with Imandra
22 August 2018

Imandra interface to Robot OS: Part II
13 August 2018

Imandra interface to Robot OS: Part I
7 august 2018

Scalable Deep Symbolic Reinforcement Learning with Imandra
31 July 2018

Powering Documentation with Jupyter Notebooks
26 July 2018

Creating safe robots with Imandra
10 July 2018

Formalising the FIX Protocol in Imandra
21 June 2018

Analysis of the WGC Exchange using the Imandra Protocol Language
26 April 2018

Machine Reasonable APIs and the public launch of Imandra Protocol Language
5 April 2018

The IEX Auction: Pursuing Greater Clarity
11 January 2018

Industry Looks to Formalize FIX Ecosystem
24 April 2018

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

Formal Verification Platform for Blockchain-Based Smart Contracts
27 September 2016

Google’s Schindler Invests in UK Automated Reasoning Startup
13 August 2016

AI Submits Reg AT Comment Letter
16 March 2016

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

AI Submits Reg ATS-N Comment Letter
1 March 2015

Financial Industry Looks to Automated Reasoning
17 December 2015

UBS Future of Finance Challenge: Monocle 24 Radio
13 December 2015

UBS crowns winners in Future of Finance competition
11 December 2015

AI wins UBS Future of Finance Challenge
11 December 2015

AI Submits IEX Comment Letter
18 November 2015

AI is a Regional Finalist of The UBS Future of Finance Challenge
25 October 2015

UBS Future Of Finance Regional Finals
17 October 2015

Case Study: 2015 SEC Fine Against UBS ATS
12 October 2015

Market stress puts focus on high-speed technology
6 October 2015

Dark pools back in the dock as regulators scrutinise ITG
12 October 2015

Transparent Order Priority and Pricing
8 August 2015

Creating Safe and Fair Markets
2 April 2015

The year the Flash Boys came into the firing line
17 December 2014

Rethinking exchange reliability
14 November 2014