Imandra
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
Also at this address
You might also like
Partial Data by Infogroup (c) 2025. All rights reserved.