Imandra Inc.

Imandra is an award-winning AI company pioneering applications of automated reasoning for financial and safety-critical software systems. Our cloud-scale automated reasoning system brings rigor and governance to the world's most critical algorithms. We provide a suite of AI-powered services for designing, testing, calibrating, and auditing complex systems in highly regulated environments, including financial markets, avionics, defense, and automotive industries. Imandra is partnering with industry leaders to bring updated and re-platform systems come to market more quickly and cost-effectively.