Fundraising Fox
/Companies
Sign in

Imandra

Austin, US · Founded 2019 · Delaware corporation · 16 employees on LinkedIn · 4 known investors

Find your way into Imandra

Sign up to see every warm intro you have to Imandra

  • Paths you didn't know you had: your email and LinkedIn already hold routes to the Imandra team. We find them for you
  • 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
  • Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone

Days of research, done the moment you sign in, with every route ranked by how warm it is.

Sign up with GoogleAlready have an account? Log in

Imandra builds CodeLogician, a neurosymbolic AI tool that translates source code into formal mathematical models to prove code properties, find bugs, and generate test cases. It integrates with AI coding assistants and targets software developers and regulated industries such as finance through its Imandra Universe reasoning ecosystem.

AI & Machine LearningDeep TechDeveloper ToolsFintech

Founders & leadership

Imandra was founded in 2019 by Grant Passmore and Denis Ignatovich.

GPGrant Passmore
Grant PassmoreCo-Founder and Co-CEOGrant Passmore is co-founder and co-CEO of Imandra, which provides automated reasoning tools to analyze and verify software properties.
DIDenis Ignatovich
Denis IgnatovichCo-Founder and Co-CEO | We're hiring!
KS
Krishna SrinivasanNamed on SEC filing

Board

ESEd Stacey
Ed StaceyBoard directorManaging Partner at IQ Capital

Investors · 4

Anthemis Venturelisted by Anthemis VentureNew York · $500K – $7M

How we know: open dataset · 5k.vc investor directory · Not right? Tell us

IQ Capitallisted by IQ CapitalLondon · $1M – $40M

How we know: funding news · fstech.co.uk · the VCSheet dataset · Not right? Tell us

Green Visor CapitalreportedNew York

How we know: the VCSheet dataset · open dataset · 5k.vc investor directory · Not right? Tell us

Reported raises · per SEC filings

Form D private placements

$9.9M disclosed across 3 rounds · 2019–2021

▶$5MraisedSep 2021 · 9 investors · Other Technology
Rule 506(b)
Officers, directors & promoters on the filing
  • Denis IgnatovichExecutive Officer, Director
  • Grant PassmoreExecutive Officer, Director
  • Michael WalshDirector
Offering amount
$5M
Amount sold
$5M
First sale
Aug 2021
Incorporated
Corporation, Delaware, 2019
Federal exemptions
06b
Full filing on SEC EDGAR ↗
▶$4.9MraisedApr 2019 · 25 investors · Other
Rule 506(b)
Officers, directors & promoters on the filing
  • Krishna SrinivasanDirector
  • Grant PassmoreExecutive Officer, Director
  • Denis IgnatovichExecutive Officer, Director
  • Ed StaceyDirector
Offering amount
$4.9M
Amount sold
$4.9M
First sale
Apr 2019
Incorporated
Corporation, Delaware, 2019
Federal exemptions
06b
Full filing on SEC EDGAR ↗
▶$2raisedMar 2019 · 21 investors · Other
Rule 506(b)
Officers, directors & promoters on the filing
  • Grant PassmoreExecutive Officer, Director
  • Denis IgnatovichExecutive Officer, Director
Offering amount
$2
Amount sold
$2
First sale
Feb 2019
Incorporated
Corporation, Delaware, 2019
Federal exemptions
06b
Full filing on SEC EDGAR ↗

Source: SEC EDGAR Form D. Amounts as filed; amended filings shown once at their latest values.

Related companies · 4

Arize AIArize provides observability and evaluation tools for AI systems and large language models, enabling development teams to monitor, debug, and improve AI agents in production.
SigNozSigNoz provides observability and monitoring tools that help DevOps engineers and developers reduce noise and extract actionable signals from their systems. The platform serves engineering teams working with microservices and distributed systems.
SolaceSolace provides an event-driven data platform that enables real-time movement and distribution of data across legacy systems, clouds, and edge devices for enterprises. The company serves organizations across capital markets, manufacturing, aviation, retail, logistics, and the public sector that need to process millions of events per second with minimal latency.
AnsiraAnsira offers a unified, AI-infused platform combined with human expertise for brand-to-local marketing, covering partner marketing, incentive management, local demand generation, and customer engagement. It serves large brands that sell through complex partner and channel networks across more than 10 industries.

Companies working in the same space as Imandra.

Non-dilutive funding · 3 SBIR/STTR awards

Federal grants — no equity taken
AgencyPhaseYearAmount
U.S. NavyNavyPhase I2020$147.3K
U.S. Air ForceAir ForcePhase I2020$45.4K
U.S. Air ForceAir ForcePhase I2019$46.9K

Source: SBIR.gov award data (U.S. Small Business Administration). SBIR/STTR awards are competitive federal R&D grants and contracts — non-dilutive capital alongside any venture rounds above.

Frequently asked questions

What does Imandra do?
Imandra builds CodeLogician, a neurosymbolic AI tool that translates source code into formal mathematical models to prove code properties, find bugs, and generate test cases. It integrates with AI coding assistants and targets software developers and regulated industries such as finance through its Imandra Universe reasoning ecosystem.
Who founded Imandra?
Imandra was founded by Grant Passmore, Denis Ignatovich in 2019.
Who are Imandra's investors?
Imandra's investors include AlbionVC, Anthemis Venture, IQ Capital, Green Visor Capital.
How much funding has Imandra raised?
Imandra has disclosed $9.9M raised across 3 rounds.
Where is Imandra headquartered?
Imandra is headquartered in Austin, US.