Imandra Inc. is an AI startup developing Imandra™, the cloud-scale automated reasoning system bringing rigor and governance to the world’s most critical algorithms. As our reliance on complex software grows, deep advances in AI are required to ensure the algorithms we rely on are safe, explainable and fair. Imandra‘s Reasoning as a Service™ platform is leading the way.