Archie Technology LLC

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

Trilogy Software develops and distributes e-business software that handles procurement, customer service and data integration for companies that purchase goods through the Internet. Established in 1989, the company s business services are focused on the automotive, insurance and consumer electronics industries. Its customers include Ford Motor Company, Daimler-Chrysler, Nissan, Goodyear, Prudential, Travelers Insurance, Gateway and IBM. The company was established in 1989 and has headquarters in Austin, Texas. It also has offices in Bangalore, India, and Hangzhou, China.

Aantilia LLC is a Women-owned Small Business based in Austin, TX, specializing in fulfilling contracts for the US Government and its branches. With a proven track record of over 850 contracts worth more than $41 million, Aantilia sources a wide range of products and services, simplifying the government purchasing process and ensuring compliance with regulations. Driven by a commitment to innovation and building trusted partnerships, Aantilia leverages its in-depth technical knowledge and professional network to provide world-class products from renowned brands, while offering the personalized touch of a small business. With a team of experienced contract specialists and a dedicated financial team, Aantilia aims to solve problems, streamline processes, and deliver quality goods and services at competitive prices.Generated from the website