Xcout Intel
AdaCore
AdaCore provides software development and verification tools, including compilers, static and dynamic analysis suites, and formal proof technology, for high-integrity systems in safety-critical industries such as avionics, automotive, defense, and space. The company's products support programming languages including Ada, SPARK, Rust, C, and C++.
Subscribe to see AdaCore’s full profile → the full roster, investors in every round, weekly hiring history and every corporate event
AdaCore at a glance
AdaCore is a software company headquartered in France. Xcout tracks 9 named people at AdaCore, including Marie Labas (Chief Financial Officer).
AdaCore leadership
- Marie LabasChief Financial Officer
- Arnaud CharletChief Technology Officer
- Radhika HolowkoChief Revenue Officer
- Gaëlle GourlinChief People Officer
- Quentin OchemChief Product and Revenue Officer
- Romain BerrendonnerChief Legal Officer
3 more named people on record for AdaCore, with roles, board committees and tenure — see the full roster →
AdaCore competitors
A few of AdaCore's closest competitors — see the full list of competitors and alternatives →
Digital Mars develops and provides C, C++, and D compilers, programming tools, and related software development services.
QNX provides secure real-time operating systems, hypervisors, and development tools for mission-critical automotive, robotics, and industrial systems.
QNX Software Systems provides safe and secure real-time operating systems, hypervisors, software development platforms, and middleware for mission-critical embedded systems. The company primarily serves automotive original equipment manufacturers (OEMs), Tier 1 suppliers, and industries such as robotics, industrial controls, medical devices, and aerospace.
Coverity provides enterprise-grade static analysis solutions, such as Black Duck Coverity, designed to help developers find and fix security vulnerabilities and code quality defects. Headquartered in San Francisco, the company supports multiple programming languages across open-source and enterprise projects.
Keil provides software development tools, including IDEs, compilers, and debug adapters, for various microcontrollers and processor families.
Embarcadero provides software development tools, integrated development environments (IDEs) like RAD Studio, Delphi, and C++Builder, and database management systems.
Get AdaCore's news by email
Funding rounds, acquisitions, new executives, launches and expansions, each with a two-line summary and a link to the source. One short email a day, only when there is news.
Free: up to 5 companies, daily. Subscribers also follow whole sectors and saved filters (M&A in Israel, AI funding…), get instant alerts, in-app notifications and signed webhooks, and open the full profile behind every name. Subscribe →
Share this card
Post the link and the card appears automatically — each network fetches the image itself.
More on AdaCore in Xcout Intel
- 9 named people with titles, LinkedIn and board committees
- The full competitor set, tracking, exports and API access