Basic info
Industry
software development
Sectors
Software safety and correctness
Cloud Computing
Trading Venue
Government
Information Services
Information Technology
Financial infrastructure
Cloud Management
Reinforcement Learning
Machine Learning
Financial Market
Automated reasoning
Trading systems
Formal verification
Date founded
2014
Funding rounds raised
Total raised
$5M
from 9 investors over 9 rounds
I
Imandra raised $5M on September 9, 2021
Investors: AlbionVC, IQ Capital, LiveOak Venture Partners and Green Visor Capital GP I LLC
I
Imandra raised $5M on April 18, 2019
Investors: IQ Capital, AlbionVC and LiveOak Venture Partners
I
Imandra raised $1.3M on May 1, 2017
Investors: Anthemis Group
I
Imandra raised undisclosed on April 25, 2017
Investors: Pitch@Palace