Imandra Email Format
Software DevelopmentTexas, United States11-50 Employees
Imandra is a software development company based in Austin, Texas, with a small-to-mid-sized team. It focuses on neurosymbolic AI and cloud-scale automated reasoning, offering a platform branded as Reasoning as a Service that supports scalable logical inference for AI systems. The aim is to improve the safety, explainability, and fairness of the algorithms that underpin modern software and AI applications. Its products have targeted the financial services sector, including a flagship suite for financial markets that has been recognized for its operational resilience initiatives. In 2025, Imandra announced new platforms, Imandra Universe to bring advanced reasoning to AI assistants and CodeLogician to transform source code into formal models for reasoning.