Imandra

Open
515 Congress Ave Ste 1025
Austin, TX 78701

Imandra is an AI startup based in Austin, TX, focused on developing a cloud-scale automated reasoning system that enhances rigor and governance in critical algorithms. The company aims to recruit and nurture top talent from around the globe to drive innovation in financial products and formal verification technologies.

Led by co-founders Denis Ignatovich and Dr. Grant Passmore, Imandra combines extensive experience in finance and computational logic to advance automated reasoning applications across various sectors. The diverse team includes professionals with backgrounds in software engineering, business strategy, and product management, contributing to the company's mission of integrating formal methods into complex decision-making processes.

Generated from the website

Own this business?
See a problem?

You might also like

United StatesTexasAustinImandra

Partial Data by Infogroup (c) 2025. All rights reserved.