Erevena place Chief Operating Officer at Imandra

Imandra specializes in cloud-scale automated reasoning. Its platform is designed to deliver rigor and governance to the world’s most critical algorithms. The company was founded in 2014 and is headquartered in Austin, Texas.