Company
imandra.ai
CodeLogician™ helps coding assistants think logically
Also known as Imandra, Imandra Inc.
- Status
- Operatingas of 2026-09-17
- Business model
- B2B
- Customers
- financial, defense, and safety-critical systems
- Legal name
- Imandra Inc.
- imandra.ai (opens in a new tab)
- LinkedIn (opens in a new tab)
- X (opens in a new tab)
- Careers (opens in a new tab)
Claim, correct or request removal
Record updated 28 September 2026
About
Imandra is a global AI company pioneering Reasoning-as-a-Service® platforms for automated logical reasoning serving financial, defense, and safety-critical systems.
Funding snapshot
- Total raised
- $9.9MSEC form D sum, as of 2026-09-28Source (opens in a new tab)
- Latest round
- Round, $5M2021-08-26
Funding rounds
- Round, 2021
- $5M2021-08-26, SEC form D sold, 9 investors
- Round, 2019
- $4.9M2019-04-02, SEC form D sold, 25 investors
- Round, 2019
- $22019-02-26, SEC form D sold, 21 investors
Products
- Web
- CodeLogician™
Loading relationship preview