Imandra
2 followers
‌
Imandra is a cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms.
Industries
Headquarters
Employees
Links
Org chart
Co-Founders & Co-CEOs
Collapse
Matt Bray
CTO
Paul Brennan
Chief Strategy Officer
Jamie Smith
VP, Products for Safety Critical Industries
Stephanie Radics
Operations Manager
Christoph Wintersteiger
Senior Computer Scientist
