Imandra
Entity

  • Imandra

    Created in 2014
  • BETA

    Up & running (A)
    Existing signals show a regular activity

  • Social networks

    545 1,636

  • Activities

    IT Services

  • Technologies

    A.I.

  • Entity types

    Startup

  • Location

    600 Congress Ave, Austin, TX 78701, USA

    Austin

    United States of America

  • Employees

    Scale: 11-50

    Estimated: 22

  • Engaged corporates

    1
    0 0

  • Added in Motherbase

    5 years, 6 months ago
Description
  • Value proposition

    Imandra is the world leader in cloud-scale automated reasoning.

    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 ServiceTM platform is leading the way.

    Formal verification, Software safety and correctness, Trading systems, Financial infrastructure, Automated reasoning, Reinforcement Learning, Trading Venue, and Financial Market

Corporate interactions BETA
Corporate TypeTweets Articles
Crunchbase
Crunchbase
Media, Software Development
Crunchbase
Media, Software Development 		Other

23 Apr 2019


Similar entities
Last news
Show all articles
Social network dynamics