Imandra
Entity

  • Imandra

    Created in 2014


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

  • Social networks

    545 2,281

  • 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: 25

  • Engaged catalyst

    3
    0 0

  • Added in Motherbase

    6 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, Financial Market, Neurosymbolic AI, and AI Reasoning

Catalyst interactions
Catalyst TypeTweets Articles
Siemens
Siemens
Industry, Automation Machinery Manufacturing
Siemens
Industry, Automation Machinery Manufacturing 		Other

30 Jun 2024


IBM
IBM
IT services, IT Services and IT Consulting
IBM
IT services, IT Services and IT Consulting 		Other

30 Jun 2024


Crunchbase
Crunchbase
Media, Software Development
Crunchbase
Media, Software Development 		Other

23 Apr 2019


Social network dynamics
Last news
Show all articles