Insights

Market Expansion AdaCore's recent launch of Ada and SPARK programming languages into the automotive industry presents a significant opportunity to target automotive manufacturers and suppliers seeking high-assurance software solutions.

Strategic Mergers The company's merger with CodeSecure enhances its cybersecurity capabilities, opening avenues to sell integrated safety and security software tools to aerospace, defense, and critical infrastructure sectors.

Growing Tech Portfolio Launching new support for Rust and engaging with WebAssembly suggests AdaCore is expanding its offerings in modern, high-performance safety-critical development environments, attracting clients focused on cutting-edge technology adoption.

Funding and Investment Battery Ventures' recent strategic investment underlines AdaCore's growth potential, making it an attractive partner opportunity for clients interested in innovative high-integrity software solutions with strong backing.

Industry Presence Active participation in industry events like Embedded World 2025 and notable hiring in leadership positions demonstrate AdaCore’s expanding influence in the high-assurance software market, creating chances for collaborations with defense and aerospace organizations.

AdaCore Tech Stack

AdaCore uses 8 technology products and services including Reddit Ads, TrackJS, Salesforce, and more. Explore AdaCore's tech stack below.

  • Reddit Ads
    Advertising
  • TrackJS
    Analytics
  • Salesforce
    Customer Relationship Management
  • Prism
    Javascript Libraries
  • WebAssembly
    Programming Languages
  • Google
    Search Engines
  • Egencia
    Travel And Expense Management
  • QEMU
    Virtualisation Software

Media & News

AdaCore's Email Address Formats

AdaCore uses at least 1 format(s):
AdaCore Email FormatsExamplePercentage
Last@adacore.comDoe@adacore.com
65%
First.Last@adacore.comJohn.Doe@adacore.com
29%
FLast@adacore.comJDoe@adacore.com
5%
First@adacore.comJohn@adacore.com
1%

Frequently Asked Questions

What is AdaCore's phone number?

Minus sign iconPlus sign icon
You can contact AdaCore's main corporate office by phone at . For more prospecting data, LeadIQ has access to up-to-date and accurate contact information within our platform. Find, capture, and sync contact data to your CRM and sales tools in one click.

What is AdaCore's official website and social media links?

Minus sign iconPlus sign icon
AdaCore's official website is adacore.com and has social profiles on LinkedIn.

How much revenue does AdaCore generate?

Minus sign iconPlus sign icon
As of December 2025, AdaCore's annual revenue is estimated to be $5.9M.

What is AdaCore's SIC code NAICS code?

Minus sign iconPlus sign icon
AdaCore's SIC code is 7371 - Computer Programming Services NAICS code is 5112 - Software Publishers.

How many employees does AdaCore have currently?

Minus sign iconPlus sign icon
As of December 2025, AdaCore has approximately 157 employees across 3 continents, including EuropeNorth AmericaAsia. Key team members include Ceo: F. G.Cfo: M. L.Chief People Officer: G. G.. Explore AdaCore's employee directory with LeadIQ.

What industry does AdaCore belong to?

Minus sign iconPlus sign icon
AdaCore operates in the Software Development industry.

What technology does AdaCore use?

Minus sign iconPlus sign icon
AdaCore's tech stack includes Reddit AdsTrackJSSalesforcePrismWebAssemblyGoogleEgenciaQEMU.

What is AdaCore's email format?

Minus sign iconPlus sign icon
AdaCore's email format typically follows the pattern of Last@adacore.com. Find more AdaCore email formats with LeadIQ.

When was AdaCore founded?

Minus sign iconPlus sign icon
AdaCore was founded in 1994.

AdaCore

Software DevelopmentÎle-de-france, France51-200 Employees

AdaCore's mission is to help people build software that matters.

In the modern world there is an ever increasing amount of activities that require the integration of software.  Have you driven your car today?  Flown on a plane?  Endeavored to move from Point A to Point B anywhere for work or play?  Millions upon millions of lines of code were required in order for you to do so. We endeavor to make sure that code is safe and secure.

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical.  With offices in Paris, New York and Boston, what started as a side project between a few NYU professors and their students has become the Aerospace and Defense industry's standard.

For more information visit our website at www.adacore.com or click on our job offerings on this page.

Section iconCompany Overview

Phone number
SIC Code
7371 - Computer Programming Services
NAICS Code
5112 - Software Publishers
Founded
1994
Employees
51-200

Section iconFunding & Financials

  • $500M$1B

    AdaCore's revenue is estimated to be in the range of $500M$1B

Section iconFunding & Financials

  • $500M$1B

    AdaCore's revenue is estimated to be in the range of $500M$1B

Ready to create more pipeline?

Get a demo and discover why thousands of SDR and Sales teams trust
LeadIQ to help them build pipeline confidently.

© LeadIQ, Inc. All rights reserved.