Founded in 2014
Imandra is the world leader in cloud-scale automated reasoning. As our reliance on complex software grows, deep advances in AI are required to ensure the algorithms we rely on are safe, explainable and fair. Imandra's Reasoning as a Service™ platform is leading the way.
Matthew Bray
R&D Engineer / European team lead
Denis Ignatovich
Co-Founder and Co-CEO | We're hiring!
FounderEwen Maclean
Research Engineer
Dave Aitken
VP of Engineering
Elijah Kagan
Head of Design
Kostya Kanishev
AI R&D Engineer
Grant Olney Passmore
Co-Founder and Co-CEO
FounderKrishna Srinivasan
Member Board Of Directors