Internal Server Error

Imandra - About the company

Imandra is a seed company based in London (United Kingdom), founded in 2014 by Grant Olney Passmore. It operates as an AI reasoning platform for trustworthy neurosymbolic AI systems and formal verification. Imandra has raised $5M in funding from investors like IQ Capital, AlbionVC and Live Oak Ventures. The company has 993 active competitors, including 167 funded and 107 that have exited. Its top competitors include companies like Cytora, Shift Technology and Credit Benchmark.

Company Details

AI reasoning platform for trustworthy neurosymbolic AI systems and formal verification. It provides a Reasoning as a Service platform, bringing rigorous logical reasoning to modern AI systems. The company focuses on automated reasoning, offering tools for AI builders to create groundbreaking, trustworthy Neurosymbolic AI systems. Their products include solutions for code reasoning, formal verification, and system integration. They cater to industries like financial services and government & defense, offering powerful tools for AI reasoning powered by neurosymbolic integration and deep advances in automated logical reasoning. The company supports Model-Based Software Development and Systems Engineering with automated formal methods and scalable automated reasoning. They provide AI tools for systems engineers seeking correctness and efficiency in model-based systems engineering. The platform integrates automated logical reasoning into LLMs, applications, and agentic workflows, fostering a community of AI builders.
Social
XFacebook
Email ID
*****@aestheticintegration.com
Phone Number
+44 **********
Registered Address
C/O Wework Moorgate, 1 Fore Street, London, England, EC2Y 9DT
Key Metrics
Founded Year
2014
Location
Stage
Seed
Total Funding
$5M in 1 round
Latest Funding Round
Investors
Ranked
Employee Count
17 as on May 31, 2026
Similar Companies
Sign up to download Imandra's company profile

Imandra's funding and investors

Imandra has raised a total funding of $5M over 1 round. Its latest funding round was a Seed round on Apr 17, 2019 for $*****. 3 investors participated in its latest round. Imandra has 6 institutional investors.

Here is the list of recent funding rounds of Imandra:
Date of Funding
Funding Amount
Round Name
Post-Money Valuation
Revenue Multiple
Lead Investors
Other Investors
Apr 17, 2019
1345138
Seed
3951762
4459347
8904017
9501355
lockAccess funding benchmarks and valuations. Sign up today!

Imandra's founders and board of directors

Founder? Claim Profile
The founders of Imandra is Grant Olney Passmore.
Here are the details of Imandra's key team members:

Imandra's employee count trend

Imandra has 17 employees as of May 26. Here is Imandra's employee count trend over the years:
Employee count trend for Imandra
lockUncover Imandra's growth story! Sign up today!
chrome_extension_cta_illustration
Access Tracxn on any website
Our Google Chrome extension lets you view company details while browsing their websites
Install Tracxn Extension

Imandra's Competitors and alternates

Top competitors of Imandra include Cytora, Shift Technology and Credit Benchmark. Here is the list of Top 10 competitors of Imandra, ranked by Tracxn score:
Rank
Company Details
Short Description
Total Funding
Investors
Tracxn Score
1st
Logo for Cytora
Cytora
2012, London (United Kingdom), Acquired
Risk management solutions for insurers and underwriters
$41.5M
67/100
2nd
Logo for Shift Technology
Shift Technology
2014, Paris (France), Series D
Provider of AI solutions for insurance underwriting, claims, and risk
$320M
67/100
3rd
Logo for Credit Benchmark
Credit Benchmark
2012, London (United Kingdom), Series B
Credit risk data aggregator of banks
$35.6M
66/100
4th
Logo for OpenGamma
OpenGamma
2009, London (United Kingdom), Acquired
Platform that provides SaaS based solutions for derivatives risk analytics
$74.9M
66/100
5th
Logo for Quantexa
Quantexa
2016, London (United Kingdom), Series F
Developer of decision intelligence software for data analysis and management
$545M
65/100
6th
Logo for Secoda
Secoda
2021, Toronto (Canada), Acquired
Provider of an AI platform for data and analytics solutions
$16.3M
65/100
7th
Logo for Munich Re
Munich Re
1880, Munich (Germany), Public
Platform offering insurance risk management solutions
-
64/100
8th
Logo for Trepp
Trepp
1979, New York City (United States), Acquired
Provider of data, insights, and technology solutions for financial markets
-
-
62/100
9th
Logo for MIND
MIND
2023, Seattle (United States), Series A
Platform offering data management solutions
$41M
62/100
10th
Logo for Indico Data
Indico Data
2014, Boston (United States), Series B
Developer of an agentic decisioning platform for insurance underwriting and claims
$72.7M
62/100
92nd
Logo for Imandra
Imandra
2014, London (United Kingdom), Seed
AI reasoning platform for trustworthy neurosymbolic AI systems and formal verification
$5M
44/100
lockGet insights and benchmarks for competitors of 2M+ companies! Sign up today!
Looking for more details on Imandra's competitors? Click here to see the top ones

Imandra's Investments and acquisitions

Imandra has made no investments or acquisitions yet.

Reports related to Imandra

Here is the latest report on Imandra's sector:

News related to Imandra

lockGet curated news about company updates, funding rounds, M&A deals and others. Sign up today!

FAQs about Imandra

Explore our recently published companies
Tracxn powers 1,000+ customers across 30+ countries
Accel PartnersPartechIN-Q-TEL - USFujitsuTenityStanford