Imandra Overview
- Founded
-
2014

- Status
-
Private
- Employees
-
18

- Latest Deal Type
-
Later Stage VC
- Latest Deal Amount
-
$5M
- Investors
-
8
Imandra General Information
Description
Developer of a cloud-scale automated reasoning system designed to bring governance to critical algorithms. The company's system leverages artificial intelligence and verified functional programming to provide automated testing for functional languages and model-based generation of tests, enabling developers to ensure the safety, transparency, and correctness of complex algorithms.
Contact Information
Website
www.imandra.ai
Ownership Status
Privately Held (backing)
Financing Status
Venture Capital-Backed
Primary Industry
Software Development Applications
Other Industries
Business/Productivity Software
IT Consulting and Outsourcing
Primary Office
- 801 Barton Springs Road
- Austin, TX 78704
- United States
+1 (512) 000-0000
Imandra Valuation & Funding
Deal Type | Date | Amount | Raised to Date | Post-Val | Status | Stage |
---|---|---|---|---|---|---|
5. Later Stage VC | 09-Sep-2021 | $5M | 000.00 | Completed | Generating Revenue | |
4. Seed Round | 18-Apr-2019 | 00.00 | 00.000 | Completed | Generating Revenue | |
3. Secondary Transaction - Private | 00.000 | Completed | Generating Revenue | |||
2. Seed Round | 12-Aug-2016 | $1.32M | $1.32M | Completed | Generating Revenue | |
1. Grant | 01-Jan-2015 | $50K | Completed | Generating Revenue |
Imandra Comparisons
Description
Primary
Industry
Industry
HQ Location
Employees
Total Raised
Post Valuation
Last
Financing
Details
Financing
Details
Developer of a cloud-scale automated reasoning system designed to bring governance to critical algorithms. The company's
Software Development Applications
Austin, TX
18
As of 2023
000.00
0000000000 0
000.00
Imandra Competitors (28)
Company Name | Financing Status | Location | Employees | Total Raised | Last Financing Date/Type | Last Financing Amount |
---|---|---|---|---|---|---|
Neota Logic | Private Debt Financed | New York, NY | 00 | 000000000 - | ||
000000000000 | Corporation | Vienna, Austria | ||||
0000000 | Accelerator/Incubator Backed | Amsterdam, Netherlands | 0 | 0000 | 000000000000 | 0000 |
00000000 | Venture Capital-Backed | Cambridge, MA | 0 | 00.000 | 000000000 - | 00.000 |
000000 0000 000 | Venture Capital-Backed | San Francisco, CA | 000 | 00000 | 0000000000 0 | 00000 |
Imandra Patents
Imandra Recent Patent Activity
Publication ID | Patent Title | Status | First Filing Date | Technology (CPC) | Citations |
---|---|---|---|---|---|
US-10769726-B2 | System and method for modeling and verifying financial trading platforms | Active | 15-Sep-2014 | 000000000 | 00 |
US-20160078539-A1 | System and method for modeling and verifying financial trading platforms | Active | 15-Sep-2014 | 000000000 | |
US-10109010-B2 | System and method for modeling and verifying financial trading platforms | Active | 15-Sep-2014 | 000000000 | |
US-20190378213-A1 | System and method for modeling and verifying financial trading platforms | Active | 15-Sep-2014 | 000000000 | 0 |
US-10424019-B2 | System and method for modeling and verifying financial trading platforms | Active | 15-Sep-2014 | G06Q40/04 |
Imandra Executive Team (4)
Imandra Board Members (6)
Name | Representing | Role | Since |
---|---|---|---|
Denis Ignatovich | Imandra | Co-Founder, Co-Chief Executive Officer & Board Member | 000 0000 |
Edward Stacey | IQ Capital Partners | Board Member | 000 0000 |
Grant Passmore Ph.D | Imandra | Co-Founder, Co-Chief Executive Officer & Board Member | 000 0000 |
Louis Forster JD | Self | Board Member | 000 0000 |
Michael Walsh | Self | Board Member | 000 0000 |
Imandra Signals
Imandra Investors (8)
Investor Name | Investor Type | Holding | Investor Since | Participating Rounds | Contact Info |
---|---|---|---|---|---|
Green Visor Capital | Venture Capital | Minority | 000 0000 | 000000 0 | |
Michael Walsh | Angel (individual) | Minority | 000 0000 | 000000 0 | |
UniCredit EVO | Corporate Venture Capital | Minority | 000 0000 | 000000 0 | |
AlbionVC | Corporate Venture Capital | Minority | 000 0000 | 000000 0 | |
IQ Capital Partners | Venture Capital | Minority | 000 0000 | 000000 0 |