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 376 active competitors, including 21 funded and 25 that have exited. Its top competitors include companies like OpenGamma, Secoda and RIMES.

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
15 as on Sep 30, 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
2362540
Seed
7372004
6802582
6454524
1983176
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 15 employees as of Sep 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 OpenGamma, Secoda and RIMES. 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 OpenGamma
OpenGamma
2009, London (United Kingdom), Acquired
Platform that provides SaaS based solutions for derivatives risk analytics
$74.9M
66/100
2nd
Logo for Secoda
Secoda
2021, Toronto (Canada), Acquired
Provider of an AI platform for data and analytics solutions
$16.3M
61/100
3rd
Logo for RIMES
RIMES
1996, New York City (United States), Acquired
Regulatory intelligence solutions for financial institutions
-
61/100
4th
Logo for Trepp
Trepp
1979, New York City (United States), Acquired
Provider of data, insights, and technology solutions for financial markets
-
-
60/100
5th
Logo for Dasseti
Dasseti
2018, New York City (United States), Acquired
Due diligence software for investment industry professionals
$11.8M
57/100
6th
Logo for Molecule
Molecule
2012, Houston (United States), Series B
SaaS-based platform for commodity trading
$26.2M
56/100
7th
Logo for TradingHub
TradingHub
2010, London (United Kingdom), Acquired
SaaS based platform offering risk and compliance management solutions
$26.9K
56/100
8th
Logo for Moody's Analytics
Moody's Analytics
2008, New York City (United States), Public
Risk management software for insurance and multiple sectors
-
54/100
9th
Logo for Intain
Intain
2018, Chennai (India), Seed
Provider of an AI and blockchain-based end-to-end financial solution for enterprises
-
54/100
10th
Logo for Arcesium
Arcesium
2015, New York City (United States), Seed
Middle and back-office solutions for alternative asset managers
-
52/100
21st
Logo for Imandra
Imandra
2014, London (United Kingdom), Seed
AI reasoning platform for trustworthy neurosymbolic AI systems and formal verification
$5M
41/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

•
•
Saxo UK Appoints Dan Squires as New Head of UK SalesFintech Finance•Jul 17, 2023•Saxo Bank, 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
  • Convello - Valsad based, 1998 founded, Unfunded company
  • Akshat Green - Patna based, 2025 founded, Unfunded company
  • Xunoia - Hyderabad based, 2025 founded, Unfunded company
Tracxn powers 1,000+ customers across 30+ countries
Accel PartnersPartechIN-Q-TEL - USFujitsuTenityStanford