Thank you FIX Trading Community for an excellent FIX EMEA event and to those who attended our technical teach-in session on Neurosymbolic AI for Software Development. Lots of interesting topics discussed throughout the day including during The Future of Technology - AI in Trading and Workflows panel which featured our CSO, Paul Brennan, as well as Rebecca Healey, Tom Doris, Rachel Przybylski, and Robert Cranston. #AI #Trading #Neurosymbolic #AutomatedReasoning #FIXTradingCommunity #FIXEMEA #Imandra
Imandra
Software Development
Austin, TX 2,252 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, Financial Market, Neurosymbolic AI, and AI Reasoning
Products
![Click here to view Imandra Core (X)]()
Imandra Core (X)
Data Science & Machine Learning Platforms
Imandra Core (X) is our proprietary cloud-native, automated reasoning engine. Our latest release marks a significant advancement in AI-driven logical reasoning, introducing powerful new reasoning algorithms and groundbreaking architectural features that enable seamless integration with AI agents. ImandraX sets a new standard in AI-driven logical analysis with cutting-edge innovations in proof automation, counterexample generation, and decision procedures that improve both performance and reliability. ImandraX is now available to select partners, with broader availability planned in the coming months. Developers and organizations interested in harnessing ImandraX's neurosymbolic AI and formal verification tools can learn more at our website.
Locations
-
Primary
Get directions
600 Congress Avenue
1400
Austin, TX 78701, US
-
Get directions
1 Fore Street
City of London, EC2Y 5EJ, GB
Employees at Imandra
Updates
-
Don't miss our CSO Paul Brennan’s panel discussion on the future of AI in trading at FIX Trading Community EMEA Trading Conference this week! And join us for a hands-on 'Neurosymbolic AI for software development' session to see live demos and tutorials. #AI #Neurosymbolic #AIAgents #Trading
-
-
"We think neurosymbolic techniques will be the foundation that paves the way for us to realize the promise of AI." Our Co-Founder, Denis Ignatovich, recently interviewed with Unite.AI to discuss the neurosymbolic AI revolution. Read the full interview here: https://lnkd.in/e8zss9zn #Neurosymbolic #AI #AutomatedReasoning #AIAgents
-
Come discuss #AutomatedReasoning and Imandra's tools for #NeurosymbolicAI this week with our Co-Founders, Denis Ignatovich and Grant Olney Passmore, at booth number 204 at the 39th Annual AAAI Conference on Artificial Intelligence hosted by the Association for the Advancement of Artificial Intelligence (AAAI)! #AI #Neurosymbolic #AIAgents #AAAI
-
-
ImandraX - a major new release of our automated reasoning engine - is here at last! 📣 ImandraX sets a new standard in cloud-native AI-driven logical reasoning and verification, with deep innovations, including: ▫️ Powerful new Proof and Counterexample Automation, with automated induction, higher-order functions and nonlinear reasoning, and seamless integration of bounded and unbounded verification ▫️ Foundational Advancements in State-Space Region Decomposition, with orders of magnitude efficiency improvements for test case generation ▫️ Enhanced Developer Experience, including a new extensible tactic language with concurrent proof checking, and new VS Code and web verification UIs ▫️ Amazing new applications, including the first formal verification of IEEE P3109 standard for ML/AI optimized small bit-width floating point arithmetic ▫️ AI Integration, with new APIs designed for robust use by developers, AI builders and AI agents alike Read more about ImandraX and how you can harness it for your organization's AI reasoning needs: https://lnkd.in/giyZUG_p #Imandra #AutomatedReasoning #Neurosymbolic #AI #AIAgents
-
-
What an evening at the British Consulate General New York to celebrate the US launch of BTON and a collaboration on promoting #AI in #Trading! A huge thank you to all who attended and contributed to the conversation and the amazing team for pulling it together. UK Business and Trade - North America Sam B. Sydney Badman Rytas Stankunas Daniel Shepherd Adam Mingos Rebecca Healey Andrew Simpson SIGMA Financial AI For those who didn’t attend, Rebecca Healey provides an excellent summary here: https://lnkd.in/gW6kscAD What an exciting time to be in this space, especially with the arrival of agentic AI in 2025. #AgenticAI #Neurosymbolic #AutomatedReasoning
-
-
We had a fascinating conversation with Ian Krietzberg of The Deep View about neurosymbolic AI and what we're doing at Imandra to bring robust AI reasoning to the world!
I spoke with Imandra founders/CEOs Grant Olney Passmore and Denis Ignatovich about the advent of neurosymbolic AI; what makes it tick, and why it is the trajectory that the industry will begin pushing toward. #AI #deeplearning #symbolicAI #GOFAI
-
“To meet the accuracy standards required for practical applications, it is essential for agents to integrate symbolic A.I. and automated logical reasoning.” - Imandra's Co-Founder and Co-CEO, Grant Olney Passmore Read more about the future of agentic AI in the Observer: https://lnkd.in/g8eZCGAB #AgenticAI #AI #Neurosymbolic #AutomatedReasoning
-
Join us and our partner BTON for an evening at the British Consulate to celebrate collaboration, innovation, the AI ecosystem, and its use cases and adoption across capital markets. If interested, please contact Paul Brennan. Daniel Shepherd Rebecca Healey Andrew Simpson Rachel Przybylski Adam Mingos #AI #Trading #CapitalMarkets #AutomatedReasoning #Neurosymbolic
-
-
Meet Jordan Roiko, PMP, our new Technical Product Manager. Jordan's experience in SysML product management makes him perfectly positioned to support our growing SysML automated reasoning service. Welcome to the team, Jordan! Meet more of the team here: https://lnkd.in/e93tiwV7 #AutomatedReasoning #SysML #AI #ReasoningAsAService #ProductManager #Tech #Neurosymbolic
-