Imandra

About Imandra

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.