Imandra

Imandra Inc. (www.imandra.ai) is the world-leader in cloud-scale automated reasoning, democratizing deep advances in algorithm analysis and symbolic AI for making algorithms safe, explainable and fair. Imandra has been deep in R&D and industrial pilots over the past 5 years and has recently closed its $5mm Seed round led by several top deep-tech investors in US and UK. Imandra is headquartered in Austin, TX, and has offices in the UK and continental Europe.