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
Itiviti partners with Imandra to speed FIX onboarding
27 January 2021
Itiviti upgrades to Imandra’s newest release
26 January 2021
World Economic Forum report on AI in the Financial Services highlights Imandra's leadership
15 September 2020
Supercharging client connectivity with machine learning
17 February 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
Austin's Imandra raises $5 million to boost AI product
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
Mathematically Verifying Algorithms
20 February 2016
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
Tech start-ups seek to alleviate dark pool headaches
16 April 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