`

Imandra

Software Development

Specialities :
Formal verification
Software safety and correctness
Trading systems
Financial infrastructure
Automated reasoning

+3

revenue-icon Revenue
11M - 100M
funding-icon Total Funding
--
size-icon Size
11 - 50

Frequently Asked Questions About Imandra

What does Imandra do?+

Imandra is the world leader in cloud-scale automated reasoning. As our reliance on complex software grows, deep advances in AI are required to ensure the algorithms we rely on are safe, explainable and fair. Imandras Reasoning as a ServiceTM platform is leading the way

What are Imandra's specialties? +

Formal verification,software safety and correctness,trading systems,financial infrastructure,automated reasoning,reinforcement learning,trading venue,and financial market

What is Imandra's industry? +

Imandra operates in the Software development industry.

What is Imandra's revenue? +

Imandra's revenue is 11m - 100m

What is Imandra's company size? +

Imandra has 11 - 50 employees.

The Go-to Sales Technology According to G2

G2 Badges Map
Get Started With Clodura
Sign Up

Sign Up for Free

Get Started with the Free Forever plan! No credit card needed. Enjoy up to 10,000 free email credits per month at no cost.

Supercharge Your Prospecting

Supercharge Your Prospecting

Start Prospecting from Clodura.AI's database of 600M+ verified B2B contacts and 120M+ direct dials along with 18M+ companies' org charts.

Grow Your Business

Grow Your Business

Unlock the prospect's contact details, including verified email, direct dials, add them to cadence, and close more deals.