- Headquarters
- Austin, Texas
- Employees
- 11–50
- Business Model
- B2B
About
Imandra is a global AI company pioneering Reasoning-as-a-Service platforms that apply cloud-scale automated logical reasoning and formal verification to complex software systems, financial algorithms, and safety-critical applications. Founded by Dr. Grant Passmore and Denis Ignatovich, Imandra serves financial services, government and defense sectors, with clients including Goldman Sachs, KPMG, Citi, DARPA, and Euronext. Headquartered in Austin, Texas, with offices in London, Imandra is a leader in neurosymbolic AI that integrates symbolic reasoning into modern AI systems.
Summary
Imandra is an Artificial Intelligence company based in Austin, United States.
Similar Companies
Mistral co-creates tailored AI systems for enterprises and governments, combining frontier models...
Chinese AI company developing GLM large language models and multimodal agent APIs for enterprises...
AI software engineering company building Devin, an autonomous AI coding agent capable of planning...
Cursor is the best way to code with AI, and built to make you extraordinarily productive.
Provides AI inference hardware and cloud platform for enterprises, using RDUs and SambaCloud to r...
UiPath provides an enterprise automation platform that coordinates AI agents, software robots, pe...
Your company? Embed this profile
Add the live badge to your site — it stays current as your funding data updates.
<a href="https://indexed.vc/companies/imandra"><img src="https://indexed.vc/api/badge/company/imandra" alt="Imandra on Indexed.vc" width="260" height="76" /></a>