Imandra Inc.

AUSTIN, TX · Founded 2019 · CIK 0001765781 · Software

Automated reasoning and formal verification software for algorithm safety, explainability, and fairness assurance

imandra.ai →
Grants
—
No SBIR or STTR on record
Sector median: 0
Raised
$9.9M
3 Form D · Sep 2021
61 months since last filing
Contracts
—
No federal contracts on record
Patents
—
No published records under this name
Sector median: 0

Capital Timeline

Federal above the line · equity below · node area scaled to amount
Capital and federal award history
DateEventSourceAmount
Private capital raisedForm D · SEC$2
Private capital raisedForm D · SEC$4,863,168
Private capital raisedForm D · SEC$5,000,004
Form D · SEC

Peer position

Software · 4096 companies · ranked on federal contract value
Software companies ranked by federal contract value
#CompanyContractsDisclosed equity
1759Force Equals Inc.—$2.3M
1760Editframe, Inc.—$375K
1761RealflowCloud, Inc.—$20K
1762Imandra Inc.—$9.9M
1763Airwavz Inc.—$361K
1764Blockalytics LLC——
1765echoBase, Inc.—$1.2M

Ranked on federal contract value rather than capital raised. The equity column is the comparison worth making — companies at the same procurement position often sit at very different points in their funding history.

Founders & Team

From Form D filings · 5 related persons
  • Denis IgnatovichDirector · Executive Officer
  • Grant PassmoreDirector · Executive Officer
  • Krishna SrinivasanDirector
  • Ed StaceyDirector
  • Michael WalshDirector