Imandra

Imandra, in Austin, aims to revolutionize algorithm design, regulation, transparency and governance by democratizing automated reasoning. They describe their eponymous software Imandra as a cloud-native automated reasoning engine for analysis of algorithms used to bring rigor and automation to algorithm design and governance.