Imandra

www.imandra.ai

Initial Investment

2019

Sector

Formal verification of software systems

Imandra is pioneering the use of formal verification methods to develop scalable and automated analyses of software, guaranteeing the performance, safety and fairness in critical and complex software applications.

IQ Capital invested in Imandra at Seed stage in 2019.