Imandra is the world leader in cloud-scale automated reasoning. As our reliance on complex software grows, deep advances in AI are required to ensure the algorithms we rely on are safe, explainable and fair. Imandra's Reasoning as a Service™ platform is leading the way.
Looking for a particular Imandra employee's phone or email?
The Imandra annual revenue was $7 million in 2026.
Denis Ignatovich is the Co-Founder and Co-CEO | We're hiring! of Imandra.
7 people are employed at Imandra.
Imandra is based in Austin, Texas.
The NAICS codes for Imandra are [54151, 54, 5415, 541511, 541].
The SIC codes for Imandra are [73, 737].