Media

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

Mathematically Verifying Algorithms

20 February 2016

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

Tech start-ups seek to alleviate dark pool headaches

16 April 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