Thesis
Capital Markets & Trading
Strategy
Venture
Stage
Early
Headquarters
UK

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