Imandra is the world leader in cloud-scale automated reasoning. Learn more at www.imandra.ai.
Location: United Kingdom, England, London
Phone: +44 20 3773 6225
Total raised: $5M
Founded date: 2014
Investors 7
| Date | Name | Website |
| - | IQ Capital... | iqcapital.... |
| - | Anthemis G... | anthemis.c... |
| - | LiveOak | liveoak.vc |
| - | Albion Cap... | albion.cap... |
| - | The Dcode ... | dcode.co/ |
| 19.05.2025 | Magnetic | mgntc.com |
| - | LiveOak Ve... | liveoakvp.... |
Funding Rounds 1
| Date | Series | Amount | Investors |
| 18.04.2019 | Seed | $5M | - |
Mentions in press and media 12
| Date | Title | Description |
| 30.06.2026 | BLOX Markets selects Imandra's Automated Reasoning technology to enhance Openpool Customer Onboarding and Development | Imandra will power onboarding, certification, and software assurance for BLOX Markets’ upcoming retail-focused U.S. equities trading venue called Openpool AUSTIN, TX, UNITED STATES, June 30, 2026 /EINPresswire.com/ -- BLOX Markets today ann... |
| 06.06.2025 | The Dawn of AI-Driven Development: Healthie and Imandra Lead the Charge | In the fast-paced world of technology, change is the only constant. The healthcare sector, often seen as a laggard in adopting new technologies, is now racing ahead. Two recent innovations are reshaping the landscape: Healthie’s Dev Assist ... |
| 04.06.2025 | Imandra Inc. Unveils Imandra Universe: The Platform for Neurosymbolic AI Agents with Logical Reasoning | Imandra Inc., the global leader in cloud-scale automated reasoning, today announced the launch of Imandra Universe, a transformative platform that brings advanced logical reasoning directly to AI assistants like ChatGPT, Claude and Cursor v... |
| 27.03.2025 | The AI Revolution: A New Era of Leadership and Innovation | The landscape of artificial intelligence (AI) is evolving at a dizzying pace. Companies are racing to harness its power, and leadership changes are shaping the future of this technology. Recent appointments and acquisitions highlight a tran... |
| 26.03.2025 | Imandra Unveils CodeLogician: A Groundbreaking Neurosymbolic AI Agent for Mathematical Code Reasoning | Imandra Inc., a pioneer in neurosymbolic AI and automated logical reasoning, announced the launch of CodeLogician, a cutting-edge LangGraph agent that transforms source code into precise mathematical models and reasons about them using Iman... |
| 25.02.2025 | Imandra Inc. Advances Neurosymbolic AI Reasoning with ImandraX Release | New release introduces breakthrough innovations in proof automation, counterexample generation, and decision procedures, to elevate AI-driven logical analysis industry standards Imandra Inc., the AI startup pioneering neurosymbolic reasonin... |
| 30.07.2024 | Imandra Appoints Zehra Akbar as Chief Operating Officer | Imandra appoints COO with experience in scaling AI startups to lead next growth phase Akbar’s appointment follows the expansion of Imandra’s automated reasoning footprint Imandra Inc., the award-winning AI company pioneering enterprise auto... |
| 26.01.2020 | 25 of Austin’s Hottest Startups to Watch in 2020 | Austin had another outstanding year with startup activity overall on the rise. |
| 18.04.2019 | AI Startup Imandra Moves its Headquarters from London to Austin and Lands $5 Million in Funding | By LAURA LOREK, publisher of Silicon Hills News |
| 18.04.2019 | Daily funding roundup - April 18th, 2019 | Astroscreen raised $1M; Native Data landed $2.5M; PadSplit closed $4.6M; Kangaroo secured $10.26M Astroscreen: Astroscreen protects brands and defends democracy from harmful social media manipulation campaigns also known as astroturfing. As... |
Show more