Imandra develops neurosymbolic AI and automated reasoning software for teams that need software, algorithms, and AI systems to be explainable, testable, and formally verifiable.
Imandra is an Austin-headquartered artificial intelligence company focused on automated logical reasoning and neurosymbolic AI. Its technology is designed for software and AI systems where correctness, traceability, and rigorous analysis matter, including financial infrastructure, software engineering, government and defense, and other safety-critical environments.
The company develops a portfolio that combines symbolic reasoning with modern AI workflows. Its current lineup includes Imandra Universe, a platform for accessing reasoning tools; CodeLogician for mathematical reasoning about source code; SpecLogician for reasoning about specifications; ImandraX, its automated reasoning engine; and financial-market products Imandra Markets and Imandra Connectivity.
Imandra's approach differs from general-purpose generative AI tools because its products are built to analyze program behavior, specifications, interfaces, and decision logic with formal methods. Buyers typically consider Imandra when they need stronger evidence than a probabilistic answer can provide, such as proving properties of code, exploring edge cases, generating test cases, validating system behavior, or turning market-connectivity specifications into machine-readable models.
The company publishes an Austin headquarters at 515 Congress Ave, Suite 1025, Austin, TX 78701, USA, and also maintains a London office. Its public business contact is [email protected] and its US phone number is +1 512 629 4038.
At a glance
What this company states about how it works. Figures carrying a source were checked
against the page they link to; the rest are the company's own.
Address
515 Congress Ave, Suite 1025, Austin, TX 78701, USA
CodeLogician is Imandra's neurosymbolic AI tool for translating source code into formal models, reasoning about software behavior, finding edge cases, proving properties, and generating rigorous tests.
SpecLogician is Imandra's natural-language specification reasoning tool for turning requirements into formalized representations that can be analyzed with logic-first AI.
ImandraX is Imandra's automated reasoning engine for formal verification, proof automation, counterexample generation, state-space analysis, and integration with AI agents and engineering tools.
Imandra Markets applies automated reasoning and model-based software engineering to exchanges and trading venues for analysis, testing, calibration, audit, and resilience of complex market systems.
We need a couple of cookies to sign you in and keep forms safe, and those are always
on. Beyond that we would like to use Google Analytics to see which pages get read,
and Google AdSense to show advertising. Neither is loaded unless you say
yes, and saying no costs you nothing on this site.
What each one does.
