AdaCore
AdaCore's Overview
AdaCore is a software company specializing in the development and verification of tools for critical, high-integrity software systems. They are renowned for their expertise in the Ada and SPARK programming languages, catering to industries such as aerospace, defense, transportation, medical, and railway, where safety, security, and reliability are paramount. AdaCore provides robust and reliable compilers (GNAT Pro), Integrated Development Environments (GNAT Studio), static analysis tools (CodePeer, SPARK Pro), and expert services to help organizations worldwide build software that matters.
Where is AdaCore's Headquarters?
HQ Function
Serves as AdaCore's primary European operational hub, spearheading Research & Development, global strategy, and support for European clientele.
Notable Features:
Situated in Paris's historic Latin Quarter, an area known for its academic institutions and intellectual vibrancy. The office itself is a professional workspace designed for software development and collaboration.
Work Culture:
AdaCore fosters a culture of technical excellence, collaboration, and innovation, with a strong emphasis on open-source principles and community engagement. Employees are deeply committed to software quality, reliability, and security.
HQ Significance:
The Paris headquarters is central to AdaCore's strong European presence and its historical roots within the Ada programming language community. It facilitates close collaboration with key European aerospace, defense, and industrial partners.
Values Reflected in HQ: The headquarters reflects AdaCore's commitment to precision, intellectual rigor, and the development of high-integrity solutions, resonating with the academic and innovative spirit of its Latin Quarter location.
Location:
AdaCore maintains a robust global presence through its main offices in Paris (France) and New York (USA), complemented by offices in Lexington (MA, USA) and Bristol (UK). Additionally, AdaCore collaborates with a worldwide network of distributors and partners. This extensive network enables them to deliver localized sales, comprehensive technical support, professional training, and expert consulting services to a diverse international clientele across industries requiring high-assurance software.
Street Address:
46 rue de la Montagne Sainte Geneviève
City:
Paris
State/Province:
Île-de-France
Country:
France
AdaCore's Global Presence
New York, NY, USA
Address: 108 West 39th Street, Suite #702, New York, NY 10018, USA
To provide dedicated local expertise, support, and solutions to the significant North American market for high-integrity software systems.
Lexington, MA, USA
Address: 10 Maguire Rd, Building 2, Suite 230, Lexington, MA 02421, USA
To enhance AdaCore's R&D capabilities and provide specialized engineering support for the US market, especially within the New England tech corridor.
Bristol, UK
Address: DeskLodge, 2 Redcliffe Way, Bristol, BS1 6NL, UK
To strengthen AdaCore's presence and provide localized support within the key UK market, fostering closer relationships with regional customers.
Buying Intent Signals for AdaCore
Highperformr Signals uncover buying intent and give you clear insights to target the right accounts at the right time — helping your sales, marketing, and GTM teams close more deals, faster.
Executive Team of AdaCore
As of April 2025, AdaCore' leadership includes:
Investors of AdaCore
AdaCore has been backed by several prominent investors over the years, including:
Executive New Hires/Exits in the Last 12 Months
Based on publicly available information and company announcements, AdaCore has maintained a stable core executive team over the last 12 months, with no major publicly disclosed new hires or departures at the top executive level.
Technology (Tech Stack) used by AdaCore
Discover the tools AdaCore uses. Highperformr reveals the technologies powering your target accounts — helping your sales, marketing, and GTM teams prioritize smarter and close faster.
AdaCore Email Formats and Examples
AdaCore commonly uses the email format consisting of the employee's last name followed by '@adacore.com'. While other formats might exist within the organization, this is the most prevalent pattern observed publicly.
last@adacore.com
Format
gasperoni@adacore.com
Example
85%
Success rate
News and media
eeNews Europe • May 21, 2024
AdaCore news title: AdaCore integrates Rust into GNAT Pro tool suite
AdaCore has announced the integration of the Rust programming language into its GNAT Pro tool suite. This development enables developers to incorporate Rust components into new or existing Ada and C/C++ based systems, combining Rust's memory safety features with AdaCore's established tools for high-integrity software development....more
AdaCore Press Room • April 9, 2024
AdaCore news title: AdaCore Releases GNAT Pro 24, Enhancing Support for Mission-Critical Software Development
AdaCore launched GNAT Pro 24, the latest iteration of its comprehensive development environment for Ada and SPARK. This release features improved compiler optimizations, enhanced tool integrations, and updated platform support, aiming to streamline the creation of safe, secure, and reliable software for critical applications....more
Embedded.com • February 27, 2024
AdaCore news title: AdaCore Releases QGen 24.0 for Model-Based Software Engineering
AdaCore released QGen 24.0, its latest model-based engineering tool suite. QGen 24.0 provides enhanced code generation from Simulink and Stateflow models, improved model-level debugging, and qualification materials for safety-critical standards, thereby facilitating the development of certified embedded systems....more
Highperformr’s free tools for company research
Explore Employees by Region or Country
See where a company’s workforce is located, by country or region.
View Funding Details
View past and recent funding rounds with amounts and investors.
Understand Revenue Insights
Understand company revenue estimates and financial scale.
Track Active Job Openings
Track active roles and hiring trends to spot growth signals.
Review Product and Offerings
Discover what a company offers—products, platforms, and solutions.
Get SIC or NAICS Codes
Get the company’s official SIC and NAICS classifications.
Analyze Website Traffic Trends
Analyze visitor volume, engagement, and top traffic sources.
Discover Social Profiles and Engagement
Explore LinkedIn, Twitter, and other active social profiles.
Identify Top Competitors
Identify top competitors based on similar business traits.
Research and Discover Companies with Highperformr — Smarter, Faster
Explore companies in depth — from the tech they use to recent funding, hiring trends, and buyer signals — all in one powerful view.
Highperformr AI helps you surface the right accounts and enrich your CRM with verified company and contact insights, so your teams can prioritize and engage faster.
- Track intent signals to find buyers who are actively in-market
- Enrich contacts and companies instantly, no need to switch tools
- Automate workflows to stay ahead of every change
- Connect your CRM & tools for seamless data sync and activation
Thousands of companies, including AdaCore, are just a search away.