Moveworks

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

Party Planning Platform

TelcoDR is a platform that provides news and insights of the telecom industry and enabling people to find essays, frank conversation, practical tips for leaders, and links to articles that helps to keep up with all the happenings in telco and public cloud.