Imandra Inc.
Share
The home of Reasoning as a Service®, bringing rigorous automated reasoning to modern AI systems. Imandra is the world leader in cloud-scale automated reasoning.
09/02/2022
We couldn't be more thrilled! Welcome, Dan and Paul!
Liquidnet EMEA business development head departs for AI fintech Imandra - The TRADE Appointment follows that of former chief operating officer at Goldman Sachs’ Sigma X MTF who joined Imandra in May.
06/18/2020
More updates on our free COVID-19 school scheduler, taking into account 'student bubbles' and 'key worker' constraints for children of essential workers -- please spread the word to any schools you know working on their COVID-19 planning!
Imandra Documentation - Scheduling smaller class sizes during Covid This notebook demonstrates how to encode and solve a constraint problem of making sure all children from the same family go to school on the same day, when days at school are restricted due to COVID-19.
01/31/2020
Itiviti Automates FIX Connectivity Ahead of Possible "Connectivity Crunch" - WatersTechnology.com The Swedish tech vendor is hoping to capitalize on disruption in the OMS space by offering an automated solution for migrating FIX rules and for FIX
Click here to claim your Sponsored Listing.
Category
Contact the business
Telephone
Website
Address
515 Congress Avenue
Austin, TX
78701
