Meet Imandra

Imandra is an AI startup revolutionizing automated reasoning with its cloud-scale platform, Imandra?. Designed to bring rigour and transparency to critical algorithms, Imandra integrates automated logical reasoning with large language models (LLMs). This combination helps industries reliant on precision and compliance, such as finance, aerospace, and defence, to gain trust, eliminate errors, and demonstrate compliance with auditable results.

Imandra enables LLMs to express their reasoning in logic, ensuring transparency in complex decision-making processes. By converting inputs into mathematical logic and backing each response with verifiable, auditable steps, Imandra helps prevent hallucinations and supports high-stakes applications. Traditionally reserved for specialized PhD teams, Imandra’s advanced capabilities are now highly automated, scaling to solve real-world problems.

Trusted by leading financial institutions, as well as clients like the US Air Force and DARPA, Imandra is setting a new standard in AI, making reasoning explicit, transparent, and scalable.

Meet Some Members of Imandra's Management Team:

Denis Ignatovich , Cofounder & Co-CEO

Grant Olney Passmore , Cofounder & Co-CEO

Dave Aitken , VP of Engineering

Zehra Akbar , Chief Operating Officer

Sam Branson , Marketing Manager

Matthew Bray , Chief Technology Officer

Paul Brennan , Chief Strategy Officer