Excited to announce that we have launched FIX Wizard - the first of Imandra's AI assistants that is part of the Imandra Connectivity suite used by banks and trading firms. FIX Wizard combines statistical AI, used by LLMs, and Imandra's automated reasoning to create a powerful Generative AI assistant grounded in logic, with independently verifiable audit trails that meet stringent regulatory requirements. https://lnkd.in/eN2wkQum #statisticalAI #LLMs #FIXGateway
Imandra
Software Development
Austin, TX 1,865 followers
Imandra is the world leader in cloud-scale automated reasoning.
About us
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.
- Website
-
https://www.imandra.ai
External link for Imandra
- Industry
- Software Development
- Company size
- 11-50 employees
- Headquarters
- Austin, TX
- Type
- Privately Held
- Founded
- 2014
- Specialties
- Formal verification, Software safety and correctness, Trading systems, Financial infrastructure, Automated reasoning, Reinforcement Learning, Trading Venue, and Financial Market
Products
Imandra Core
Data Science & Machine Learning Platforms
Cloud-native, automated reasoning engine and services. Imandra is a suite of AI tools based on groundbreaking automated reasoning and formal verification technology. Whether you're writing mission-critical code or need to understand the countless complex decisions that a system may make, use Imandra to ensure the algorithms you create are safe, explainable and fair.
Locations
-
Primary
600 Congress Avenue
1400
Austin, TX 78701, US
-
1 Fore Street
City of London, EC2Y 5EJ, GB
Employees at Imandra
-
Christoph M. Wintersteiger
Senior Computer Scientist at Imandra
-
Brian Schwieger
Chair, NED and Strategic Advisor | FinTechs and Financial Services | Helping highly talented entrepreneurs and companies fulfil their visions
-
Jamie Smith
Head of Products, VP of Product Management, Autonomous Vehicle, Driving Automated Reasoning SaaS Awareness, advocating the use of SysMLv2 and Formal…
-
Zehra Akbar
COO @ Imandra.ai
Updates
-
We’ve been nominated in multiple categories for the 2024 RegTech Insight, from A-Team Group Awards and we need our community’s help to win. 🏆 We’re counting on you to follow the link below and VOTE IMANDRA for: 💼 Best Client On-Boarding Solution 📈 Best Solution for Operational Resilience 🚀 Most Innovative Technology for Regulatory Compliance https://lnkd.in/eMyPQe7j Voting ends at 5pm (UK) on Friday, September 13th! #AI #RegTech #Tech #AICompany #Innovation
-
Thank you Stacy Nawrocki! Hear Jamie Smith talk about Imandra for #sysmlv2!
Experienced leader: Product Management, GTM, PLG, Marketing, Customer Success, Sales, Strategic Partnerships.
So much interest and passion around #sysmlv2 at #incoseis today, like Jamie Smith of Imandra who talked with us at the #ibmengineering booth about what they're working on at Imandra. Daniel Moul Jim Marsh Steve Rooks Harry Donaghy Ana-Camelia Mitrut Ravi Barnwal
-
Imandra reposted this
Head of Products, VP of Product Management, Autonomous Vehicle, Driving Automated Reasoning SaaS Awareness, advocating the use of SysMLv2 and Formal Methods for MBSE.
Mike Crist gave a great presentation to a packed room at #incoseis. He spoke about Siemens plans for #sysmlv2 and their vision for collaboration with IBM , Imandra , and other collaborators! #sysmlv2 represents an opportunity to enable true multidisciplinary system design. Great job Mike!
Advance MBSE with SysML v2
www.linkedin.com
-
Thanks QA Media! Grant Olney Passmore and Denis Ignatovich talk about Imandra's solution that is addressing the fundamental shortcomings of applying LLMs in regulated markets. Check it out! #LLMs #automatedreasoning #statisticalAI
Imandra co-CEO Grant Passmore: ‘LLMs cannot be trusted’ Grant Olney Passmore argues that LLMs hold 'tremendous promise' but can ultimately not be trusted in regulated environments https://lnkd.in/dR6uBvKa #LLMs #Software #Testing #QA
Imandra co-CEO Grant Passmore: ‘LLMs cannot be trusted’
https://qa-financial.com
-
Jamie Smith, Head of Products, will be the conference chair and moderator at the OSS.5 (jointly held with hashtag #AutoAI) in San Francisco this week. Join us live to learn how @Imandra is using #AutomatedReasoning and #SysML v2, in the world of #AutonomousVehicles! https://lnkd.in/gudPnQEi
-
We look forward to attending the A-Team Insight, from A-Team Group ‘AI in Capital Markets Summit London' this week, on Thursday 20 June. The event will explore current and emerging trends in AI, the potential of Generative AI and LLMs and how AI can be applied for efficiencies and business value across a number of use cases. Stop by our stand to find out how we solve some of these challenges with Imandra Markets and Imandra Connectivity.
-
We are delighted to be shortlisted for ‘Best Artificial Intelligence Technology Provider’ in the WatersTechnology.com Waters Rankings 2024 for our products: Imandra Markets, Imandra Connectivity and FIX Wizard. There is still time to vote for us via https://lnkd.in/e5xuvQyJ We appreciate your support!