- 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.
Similar Companies
Cursor is the best way to code with AI, and built to make you extraordinarily productive.
AI pioneer startup that could make it big in 2026
Provides AI inference hardware and cloud platform for enterprises, using RDUs and SambaCloud to r...
UiPath is an AI-enhanced end-to-end automation platform.
ML inference infrastructure for deploying and serving AI models at scale, performantly and cost-e...
AI hardware company building wafer-scale processors for deep learning training and inference