Imandra
Imandra is an artificial intelligence company in Austin, United States, founded in 2014.
Home of Reasoning as a Service® | Imandra Inc.
- Headquarters
- Austin, Texas
- Employees
- 11–50
- Founded
- 2014
- Business Model
- B2B
- Website
- imandra.ai
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
It lists 11–50 employees.
Tech & App Stack
1 technology or app tracked
Every product and vendor across these categories, with where each signal came from.
Create a free account with 25 free credits every month, no card needed, to unlock the full tech & app stack, funding history, and valuations.
Subsidiaries
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.
Appears in
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>