Basic info
Industry
software development
Sectors
Automated reasoning
Cloud Management
Government
Financial infrastructure
Reinforcement Learning
Machine Learning
Trading systems
Financial Market
Information Services
Software safety and correctness
Cloud Computing
Trading Venue
Formal verification
Information Technology
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