Imandra is a cloud-native automated reasoning engine. Aesthetic Integration is an AI startup developing Imandra, the cloud-scale automated reasoning system.

Sectors

Data, technology & infrastructure

Headquarters

UK