Imandra
Imandra is an AI-based reasoning platform that offers symbolic model checking, automated induction and computable counterexample solutions.
Business Model:
Revenue: $1.4M
Employees: 11-50
Detailed Imandra Information
Geographic Data
Address: 3300 N Interstate Hwy 35
City: Austin
State: TX
Zip: 78705
Country: US
Financial Info
Stage:
seed
Raised Last:
$5M
Raised Total:$5M
Social
Metrics
0Website Global Rank
0Website Monthly Traffic
Twitter Followers
Description
Imandra is an AI-based reasoning platform that offers symbolic model checking, automated induction and computable counterexample solutions.
Contact Phone:
+15126294038
Contact Email:
| Announced Date | Company | Transaction | Money Raised |
|---|
| Announced Date | Transaction | Number of Investors | Money Raised | Lead Investors | 4/2019 | Seed Round | 3 | $5M |
AlbionVC IQ Capital LiveOak Venture Partners AlbionVC IQ Capital LiveOak Venture Partners |
4/2017 | Non Equity Assistance | 1 | - |
Pitch@Palace Pitch@Palace |
5/2017 | Pre Seed Round | 1 | $1.3M |
Anthemis Group Anthemis Group |
9/2021 | Seed Round | 4 | $5M |
AlbionVC Green Visor Capital IQ Capital LiveOak Venture Partners AlbionVC Green Visor Capital IQ Capital LiveOak Venture Partners |
8/2016 | Pre Seed Round | $1.3M | 4/2017 | Non Equity Assistance | 1 | - |
Pitch@Palace Pitch@Palace |
|---|
| Announced Date | Name | Price |
|---|
Employee Departments
Employee States
|
|
Revenue: 0 - 100000 Employees: Industry: Software |
Details
|
|
|
Revenue: 0 - 100000 Employees: 51 - 500 Industry: Education |
Details
|
|
|
Revenue: 0 - 100000 Employees: 1 - 10 Industry: Blockchain |
Details
|
|
|
Revenue: 0 - 100000 Employees: 11 - 50 Industry: Industrial |
Details
|
|
|
Revenue: 0 - 100000 Employees: 1 - 10 Industry: Advertising |
Details
|
