Imandra
imandra.ai
AI Development Tools
Explainable AI (XAI)
As featured in
Claim pageClaim
Follow
Overview
News
Salaries
Products
People
Growth
Offices
Financials
Funding and backers
Total raised
$9.9M
7 rounds on record
Latest round
$5M
Venture round · Aug 2021 · 5 yr ago
Team
11-50
employees, estimated range
Grants
$2M
4 grants · CORDIS
Backers
2
Albion, IQ Capital
The money's age
Long since its last round
61 months since the last round · not hiring
Momentum
15/100
in the news
Last sign of life
this month
a posting or a news item
The story so fareach stage dated by its source: the company's releases, the press, registers, filings
Aug 26, 2025
Won a grant $1.8M · CORDIS
Jun 4, 2025
Launched Imandra Inc. Unveils Imandra Universe: The Platform for Neurosymbolic AI Agents with Logical Reasoning · PRNewswire
Mar 27, 2025
Launched Imandra Launches CodeLogician · AIT365
Jul 30, 2024
New executive Imandra Appoints Zehra Akbar as Chief Operating Officer · PRNewswire
Apr 22, 2024
Launched Imandra ships AI assistant for FIX Connectivity · finextra.com
Aug 26, 2021
Raised a round Venture round $5M · SEC Form D
Mar 9, 2020
Won a grant $45k · CORDIS
Nov 21, 2019
Won a grant $147k · CORDIS
Aug 2, 2019
Won a grant $47k · CORDIS
Apr 2, 2019
Raised a round Venture round $4.9M · SEC Form D
Feb 26, 2019
Raised a round Venture round $2 · SEC Form D
2019
Founded
Tractionpublic signals, read monthly
Web presence
top 2%
of 133.2M domains by links, Common Crawl
Hacker News stories
3
best: 20 points
Funding rounds
| Round | Date | Amount | Investors | Source |
|---|---|---|---|---|
| Grant | Aug 2025 | $1.8M | — | CORDIS |
| Venture round | Aug 2021 | $5M | — | SEC Form D |
| Grant | Mar 2020 | $45k | — | CORDIS |
| Grant | Nov 2019 | $147k | — | CORDIS |
| Grant | Aug 2019 | $47k | — | CORDIS |
| Venture round | Apr 2019 | $4.9M | — | SEC Form D |
| Venture round | Feb 2019 | $2 | — | SEC Form D |
Registers and programsofficial lists and records that name the company
| Legal entity | Imandra Inc. | SEC Form D |
Founders and leadersfrom filings, registers and the company's site
Grant PassmoreExecutive Officer, DirectorSEC Form D
Denis IgnatovichExecutive Officer, DirectorSEC Form D
Backed byfrom the funds' portfolios and accelerator catalogs
Albion 
IQ Capital Investors in similar startupsfunds that back the companies most like this one
Similar startupsby what they do, their industry and backers
We help organizations modernize decisions and operations with private, explainable AI, built for regulated environments.
Trusted by the British Army. Secure, explainable AI and data analytics for defence, government, and mission-critical applications.
Datategy builds papAI, a platform that covers the full artificial intelligence lifecycle from data preparation to explainable deployment…
Formal verification and AI — research and engineering from Theorem.
Axiom is a research company building an artificial intelligence system for mathematics that can prove theorems and generate new results…
UMNAI helps organisations build, deploy and govern explainable AI decision systems for high-impact environments.
News
TabbFORUM New Login
Welcome to TabbFORUM If you are a registered member of TabbFORUM, type the email address and password you registered with in the space below, then click Sign In. If you are not a member of TabbFORUM click the link to sign up for your free membership and f
Read more
Report
TabbFORUM New Login
Welcome to TabbFORUM If you are a registered member of TabbFORUM, type the email address and password you registered with in the space below, then click Sign In. If you are not a member of TabbFORUM click the link to sign up for your free membership and f
Read more
Report
Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
Abstract page for arXiv paper 2601.11840: Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
Read more
Report
Moonpool and OCaml5 in Imandrax
Imandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. Whether you
Read more
Report
Report
Imandra Inc. Unveils Imandra Universe: The Platform for Neurosymbolic AI Agents with Logical Reasoning
/PRNewswire/ -- Imandra Inc., the global leader in cloud-scale automated reasoning, today announced the launch of Imandra Universe, a transformative platform...
Read more
Report
Imandra Launches CodeLogician
Imandra Inc., a pioneer in neurosymbolic AI and automated logical reasoning, announced the launch of CodeLogician...
Read more
Report
Imandra's new AI coding assistant CodeLogician uses 'reasoning' to guarantee the accuracy of its code
Imandra's new AI coding assistant CodeLogician uses 'reasoning' to guarantee the accuracy of its code - SiliconANGLE
Read more
Report
Denis Ignatovich, Co-founder and Co-CEO of Imanda - Interview Series
Denis Ignatovich, Co-founder and Co-CEO of Imandra, has over a decade of experience in trading, risk management, quantitative modeling, and complex trading system design. Before founding Imandra, he led the central risk...
Read more
Report
OpenAI Deep Research vs. DeepSeek R1: Which One Is Better at Knowledge Work?
About two weeks after DeepSeek's R1 model rattled Silicon Valley, OpenAI is stepping up with Deep Research, an agentic A.I. built on the latest GPT o3 model.
Read more
Report
Show more news
People
Grant Passmore
Executive Officer, Director
Denis Ignatovich
Executive Officer, Director
Krishna Srinivasan
Director
Ed Stacey
Director
Michael Walsh
Director
Names and roles come from public filings, company registers and the company's own site. Is this you? Correct or remove · How we handle this data
Offices
Where the company hires and what each office is for
Cities
2
Hiring now
0
Countries
1
Loading the map
Headquarters
Builds here
Office with open vacancies
No open vacancies right now Tap a pin for the office
Austin
United States
HQ
Austin (HQ)
515 Congress Ave
London
United States
Regional office
London
Pavilion 27 Bush Lane
Financials
Total raised
$11.9M
Latest round
Grant
Funding rounds
7