Imandra
Imandra develops AI reasoning technology that provides formal verification and mathematical logic analysis for software systems, enabling AI to understand, verify, and justify the real behavior of the systems it builds and runs. The company's CodeLogician platform translates source code into precise mathematical models, mapping every type, state, relation, and function to uncover hidden bugs and generate rigorous…
Funding snapshot
About
Imandra develops AI reasoning technology that provides formal verification and mathematical logic analysis for software systems, enabling AI to understand, verify, and justify the real behavior of the systems it builds and runs. The company's CodeLogician platform translates source code into precise mathematical models, mapping every type, state, relation, and function to uncover hidden bugs and generate rigorous test cases. Imandra serves financial services, government, and defense sectors with clients including DARPA, Goldman Sachs, KPMG, Citi, Euronext, and TMX. Founded in 2014 and headquartered in Austin, Texas and London, the company has raised approximately $5M in seed funding from investors including IQ Capital, AlbionVC, and Green Visor Capital. Imandra differentiates itself through neurosymbolic AI that combines LLM pattern recognition with symbolic reasoning, closing a 41-47 percentage point accuracy gap compared to LLM-only approaches.
Business model
GRC Software > Risk Management,
Investment Tech > Capital Market IT > Trade Management > Risk and Compliance Management,
RegTech > Risk Management > Risk Type > Investment Industry Risks,
Dcode Batches > AI
Team background
College Wise > University of Edinburgh
Institutional investors
Backed by funds in our directory
Latest coverage
No articles yet.
Similar startups
PagarBook
Provider of staff attendance, payroll and biometric attendance tools for small to medium enterprises
Vertice
AI-powered platform for modern finance and procurement teams. It offers features such as intake-to-procure, SaaS purchasing, and risk management.
1Kosmos
Block-chain-based passwordless authentication for customers. The products offered by the company include BlockID Verify, Workforce, and customer.
Concordium
Operator is a developer of an on-demand commerce platform that uses a network of human operators to fulfill customer requests for products through a text-based messaging interface.