IMANDRA
Imandra specializes in cloud-scale automated reasoning. Its platform is designed to deliver rigor and governance to the world's most critical algorithms. The company was founded in 2014 and is headquartered in Austin, Texas.
IMANDRA
Industry:
Cloud Computing Information Services Information Technology
Founded:
2014-09-01
Address:
Austin, Texas, United States
Country:
United States
Website Url:
http://www.imandra.ai
Total Employee:
11+
Status:
Active
Contact:
512 629 4038
Total Funding:
12.58 M USD
Technology used in webpage:
Viewport Meta IPhone / Mobile Compatible SSL By Default Google Font API Google Analytics Content Delivery Network Font Awesome Global Site Tag JsDelivr AJAX Libraries API
Similar Organizations
G42
G42 is a United Arab Emirates artificial intelligence (AI) and cloud computing company
Current Advisors List
Board_member
2021-09-01
Board_member
2019-04-01
Board_member
2019-04-01
Board_member
2019-01-01
Board_member
2021-09-01
Advisor
Advisor
Current Employees Featured
Denis Ignatovich Co-Founder & Co-CEO @ Imandra
Co-Founder & Co-CEO
2014-03-01
Grant Passmore Co-Founder & Co-CEO @ Imandra
Co-Founder & Co-CEO
2014-04-01
Magda Wojcik Operations @ Imandra
Operations
Elijah Kagan Designer @ Imandra
Designer
Dave Aitken R&D Engineer @ Imandra
R&D Engineer
Matt Bray R&D Engineer @ Imandra
R&D Engineer
Kostya Kanishev R&D Engineer @ Imandra
R&D Engineer
Ewen Maclean Research Engineer @ Imandra
Research Engineer
2016-10-01
Nicola Mometto R&D Engineer @ Imandra
R&D Engineer
Simon Cruanes R&D Engineer @ Imandra
R&D Engineer
Founder
Investors List
AlbionVC
AlbionVC investment in Seed Round - Imandra
Green Visor Capital
Green Visor Capital investment in Seed Round - Imandra
IQ Capital
IQ Capital investment in Seed Round - Imandra
LiveOak Venture Partners
LiveOak Venture Partners investment in Seed Round - Imandra
LiveOak Venture Partners
LiveOak Venture Partners investment in Seed Round - Imandra
IQ Capital
IQ Capital investment in Seed Round - Imandra
AlbionVC
AlbionVC investment in Seed Round - Imandra
Anthemis Group
Anthemis Group investment in Pre Seed Round - Imandra
Pitch@Palace
Pitch@Palace investment in Non Equity Assistance - Imandra
Newest Events participated
Participated in Pitch@Palace 7.0
on 2017-04-25 as exhibitor
Official Site Inspections
http://www.imandra.ai
- Host name: 209.28.54.34.bc.googleusercontent.com
- IP address: 34.54.28.209
- Location: United States
- Latitude: 37.751
- Longitude: -97.822
- Timezone: America/Chicago
More informations about "Imandra"
Home of Reasoning as a Service® | Imandra Inc.
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 …See details»
Imandra - Crunchbase Company Profile & Funding
Imandra Core: A cloud-native automated reasoning engine for analyzing algorithms, providing formal verification, symbolic reasoning, and rule synthesis. Imandra Markets: A suite of AI …See details»
Imandra Core
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 …See details»
Imandra 2025 Company Profile: Valuation, Funding
Imandra General Information Description. Developer of a cloud-scale automated reasoning system designed to bring governance to critical algorithms. The …See details»
Imandra - Funding, Financials, Valuation & Investors - Crunchbase
Imandra specializes in cloud-scale automated reasoning. New. Resources. ... Experience the new Crunchbase, powered by AI . Experience the new Crunchbase, powered by AI . Organization. …See details»
Imandra - VentureRadar
Imandra gives AI the power of reasoning. Large Language Models (LLMs) use Imandra to build mental models and reason about them, unlocking the incredible potential of generative AI for …See details»
Q&A: Co-Founder of Imandra Discusses the Future of AI
Jan 6, 2025 Imandra Markets® is our suite of AI-powered services for trading venues, bringing forward the next generation of transparency, oversight and data products, While Imandra Connectivity is an innovative, cloud-based take on …See details»
Denis Ignatovich, Co-founder and Co-CEO of Imanda - Unite.AI
Mar 3, 2025 Imandra is an AI-powered reasoning engine that uses neurosymbolic AI to automate the verification and optimization of complex algorithms, particularly in financial …See details»
Imandra
Jan 16, 2025 A place for Imandra users to discuss all things Imandra - Core, Universe, Connectivity, etc. A place for Imandra users to discuss all things Imandra - Core, Universe, …See details»
Imandra's new AI coding assistant CodeLogician uses …
1 day ago According to Imandra, CodeLogician will transform developer productivity, eliminating the burden of having to validate thousands of lines of AI-generated code manually. Imandra co-founder and co ...See details»
News and Media | Imandra Inc.
Jan 20, 2025 At FIXEMEA2023 we discussed how Imandra's AI can improve exchange resiliency. 13 Apr 2023 news video. Imandra is delighted to be a sponsor of the Plato …See details»
Imandra Universe
The future of AI is agentic and neuro-symbolic, combining learning with rigorous reasoning. Imandra enables AI builders to create powerful, reliable agents by integrating cutting-edge …See details»
Imandra Inc. Documentation
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 …See details»
ImandraX: A Breakthrough in Neurosymbolic AI Reasoning and …
Feb 25, 2025 Imandra Inc., the AI company revolutionizing automated logical reasoning, has announced the release of ImandraX, its latest advancement in neurosymbolic AI reasoning. …See details»
Try Imandra Core Online | Imandra Inc.
Ai/imandra> #about Imandra is: - AI for algorithms, scaled to the cloud; - a powerful new foundation for formally verified functional programming; - powering a new generation of tools …See details»
Imandra - Contacts, Employees, Board Members, Advisors & Alumni
Organization. Imandra . Connect to CRM . Save . Summary. Financials. People. Technology. Signals & News ... Number of Board Member and Advisor Profiles 7. Contacts 19. About. …See details»
Imandra Extends Symbolic AI Model to Validate Source Code
1 day ago Imandra today launched an artificial intelligence (AI) agent, dubbed CodeLogician, that uses symbolic models to transform source code into mathematical models that can then …See details»
Trustworthy AI | Imandra Inc.
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 …See details»
Imandra Inc. Advances Neurosymbolic AI Reasoning with …
Feb 25, 2025 Imandra Inc., the AI startup pioneering neurosymbolic reasoning, today announced ImandraX, the latest major release of its flagship Imandra automated reasoning …See details»
Imandra Unveils CodeLogician: A Groundbreaking Neurosymbolic …
1 day ago Imandra Inc., a pioneer in neurosymbolic AI and automated logical reasoning, today announced the launch of CodeLogician, a cutting-edge LangGraph agent that transforms …See details»