Imandra

2 followers


Imandra is a cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms.

Industries

Headquarters

Stage

Employees

Links

Org chart

Co-Founders & Co-CEOs

Collapse
Paul Brennan
Chief Strategy Officer
Jamie Smith
VP, Products for Safety Critical Industries
Stephanie Radics
Operations Manager
Christoph Wintersteiger
Senior Computer Scientist