Imandra
Austin, US · Founded 2019 · Delaware corporation · 16 employees on LinkedIn · 5 known investors
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.
Founders & leadership
Imandra was founded in 2019 by Grant Passmore and Denis Ignatovich.
GP
Grant PassmoreinCo-Founder and Co-CEO
DI
Denis IgnatovichinCo-Founder and Co-CEO | We're hiring!
KS
Krishna SrinivasanNamed on SEC filing
Board
Investors · 5
.jpeg){kind=logo}
Reported raises · per SEC filings
Form D private placements$9.9M disclosed across 3 rounds · 2019–2021
▶$5MraisedSep 2021 · 9 investors · Other TechnologyRule 506(b)
▶$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
▶$4.9MraisedApr 2019 · 25 investors · OtherRule 506(b)
▶$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
▶$2raisedMar 2019 · 21 investors · OtherRule 506(b)
▶$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
Source: SEC EDGAR Form D. Amounts as filed; amended filings shown once at their latest values.
Competitors · 5
by search overlap
Netezza5 shared keywordsIBM is a global technology company whose business spans enterprise software (including Red Hat, HashiCorp, and Confluent), IT infrastructure such as mainframes, servers, and storage, and IT consulting services. The company is also investing heavily in quantum computing and AI-based enterprise offerings, including its Lightwell open-source software security clearinghouse and the Anderon quantum wafer foundry.
Arize4 shared keywordsArize provides observability and evaluation tools for AI systems and large language models, enabling development teams to monitor, debug, and improve AI agents in production.
SigNoz4 shared keywordsSigNoz 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.
Solace4 shared keywordsSolace provides an event-driven platform for streaming and distributing real-time data across applications, equipment, and services, supporting integrations across multiple protocols and programming languages. It serves banks and capital markets, manufacturers, retailers, and transportation/logistics operators such as airlines, airports, and ports.
Ansira3 shared keywordsAnsira 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 competing with Imandra for the same Google search keywords, organic and paid, via search-intersection analysis.
Non-dilutive funding · 3 SBIR/STTR awards
Federal grants — no equity taken| Agency | Phase | Year | Amount |
|---|---|---|---|
| U.S. NavyNavy | Phase I | 2020 | $147.3K |
| U.S. Air ForceAir Force | Phase I | 2020 | $45.4K |
| U.S. Air ForceAir Force | Phase I | 2019 | $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.
In the news
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, Green Visor Capital, IQ Capital, LiveOak Venture Partners.
- 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.