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.
Company Details
- Employees
- 21
- Founded
- -
- Address
- 600 Congress Avenue, 1400,united Kingdom
- Industry
- Software Development
- NAICS
-
Software Publishers
- Website
- https://www.imandra.ai
- Keywords
- Formal verification, Software safety and correctness, Trading systems, Financial infrastructure, Automated reasoning, Reinforcement Learning, Trading Venue, Financial Market, Neurosymbolic AI, AI Reasoning.
- HQ
- Austin, TX
Imandra Questions
Imandra's website is https://www.imandra.ai
Imandra's LinkedIn profile is https://www.linkedin.com/company/imandra
Imandra has
21 employees.
View email and phone details for 21
employees at Imandra.
Imandra's industry is
Software Development
Imandra's top competitors are
Ingenium Search,
Aver Information,
Saronic Technologies,
Colimit,
Avathon,
Informal Systems,
Capdata,
Skygrid,
Saxo Uk,
Bton.
Imandra's categories are Software Development
Imandra's founding year is 2014
