Aesthetic Integration Research Corporation is developing a cloud-scale automated reasoning system designed to bring rigor and governance to the worlds most critical algorithms across several industries: robotics, financial markets, DLT and safety critical industries, eg aerospace, machine learning, web development and legal services. With ten listed employees - based in Austin TX but with facilities in London and Edinburgh (Scotland) the firm describes itself as an AI startup developing Imandra®, the cloud-scale automated reasoning system bringing rigor and governance to the worlds most critical algorithms. That product appears to be what defines the firm.
