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