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

Imandra headquarters map

Address: 3300 N Interstate Hwy 35

City: Austin

State: TX

Zip: 78705

Country: US

Financial Info

Stage:

seed

Raised Last:

$5M

Raised Total:

$5M

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/2017 Non Equity Assistance 1 - Pitch@Palace
Pitch@Palace
4/2019 Seed Round 3 $5M AlbionVC
IQ Capital
LiveOak Venture Partners
AlbionVC
IQ Capital
LiveOak Venture Partners
8/2016 Pre Seed Round $1.3M
9/2021 Seed Round 4 $5M AlbionVC
Green Visor Capital
IQ Capital
LiveOak Venture Partners
AlbionVC
Green Visor Capital
IQ Capital
LiveOak Venture Partners
5/2017 Pre Seed Round 1 $1.3M Anthemis Group
Anthemis Group
4/2017 Non Equity Assistance 1 - Pitch@Palace
Pitch@Palace
Announced Date Name Price

Employee Departments

Employee States

Uniview Singapore VEID Logo
Uniview Singapore VEID
Revenue: 0 - 100000
Employees:
Industry: Software
Details
Konkuk University Medical Center Logo
Konkuk University Medical Center
Revenue: 0 - 100000
Employees: 51 - 500
Industry: Education
Details
Daemon Technologies Logo
Daemon Technologies
Revenue: 0 - 100000
Employees: 1 - 10
Industry: Blockchain
Details
Ace International Trade Logo
Ace International Trade
Revenue: 0 - 100000
Employees: 11 - 50
Industry: Industrial
Details
An Hòa Communications Logo
An Hòa Communications
Revenue: 0 - 100000
Employees: 1 - 10
Industry: Advertising
Details

You know, we could be doing all this for you..

CoBee's Logo

Be ahead of your competition

  • Realtime intelligence
  • Automated contact tracking
  • Unmatched insights
  • Eliminate manual research