Tools for High-Integrity Development in Ada/SPARK, C/C++, and Rust
We equip developers to build reliable, safe, and secure software. With over 30 years of experience, we provide open-source toolchains for Ada/SPARK, C/C++, and Rust, designed specifically for safety-critical and mission-critical systems.
Our technology supports the world’s most demanding industries, including aerospace, defense, rail, automotive, energy, telecoms, finance, and medical. Built to meet rigorous certification standards, our tools let you focus on your code - with confidence.
Our Commitment to You
With unmatched expertise, supply-chain security, and long-term support, AdaCore ensures your projects are built to last.
AdaCore concentrates its offering to hundreds - not hundred of thousands. We care about each and every one of our customers, ensuring that our technology matches their needs as closely as possible, organizing regular interactions and allowing each and every one of them to influence the technology direction, going as far as developing bespoke adaptations when necessary. We build custom runtimes, enabling easier certification. We build custom ports, including for your in-house RTOS or hardware. We make our products fit your needs and your workflow.
When you select AdaCore’s offerings, you select expertise. Our engineering team is directly accessible to you through support. We are deeply involved is an array of topics spanning from compilation toolchain, static analysis, testing, safety certification and more. When you speak to us, you don't speak to a support engineer, you speak to the developer of the technology you have a question on.
We support a lot of software components that are commonly available in open-source, including compilers, library and tools. This allows you to get the best of both open-source and commercial worlds, leverage widely known technology with the guarantees of an industrial offering.
When SaaS or cloud-based solutions are not an option, AdaCore provide tool that can be easily installed on premise or on air gapped environments. With a flexible licensing system requiring no access to the outside, you can deploy our technology however you see fit, including developers workstations, devops pipelines or private clouds.
When you choose AdaCore, you can rest assured that your needs will be met for the long term. We commit to supporting our toolchains for the long haul, ensuring continuity and reliability throughout your project's lifecycle. Some of our customers are still supported on technology delivered by us over 20 years ago, and counting.
Ada Lovelace and Ada
Ada Lovelace is commonly thought of as the world’s first computer programmer. Born on December 10, 1815, and the daughter of British poet Lord Byron, Lady Ada was a woman of many talents but with a particular leaning towards mathematics. Her choice to study and specialize in the science, technology, engineering, and mathematics (STEM) disciplines was highly exceptional for a woman in 19th-century England. She is most well known for her work on Charles Babbage's proposed mechanical general-purpose computer, the Analytical Engine, and was the first to recognize that the machine had applications beyond pure calculation.
The United States Department of Defense honored Ada’s seminal work in computing by choosing the name “Ada” in 1979 for its common high-order computer programming language. This language, with its focus on software engineering, is a fitting tribute to her accomplishments. We are proud that several of the founding AdaCore staff worked on the original Ada development effort.
AdaCore, too, takes its name from Ada Lovelace, continuing that tradition by advancing the language and the engineering principles it represents. We are proud that several of AdaCore’s founding engineers contributed to the original Ada development effort.
30+ Years Of Commitment
AdaCore began in 1994 as an Ada compiler company focused on Unix systems. Back then, supporting Windows — let alone cross-platform development — wasn’t even considered. But as the industry evolved, so did we. Our technology grew to support Linux, Windows, and a wide range of embedded targets, from PowerPC and ARM to RISC-V — and even legacy processors like Itanium, Motorola 68k, Alpha Tru64, and MIPS that some customers still use today. Along the way, we built strong partnerships with RTOS vendors such as WindRiver, Lynx, Sysgo, and BlackBerry.
As Ada matured, we realized that developers needed more than a compiler — they needed an ecosystem. That led to GNAT Studio, our dedicated Ada IDE, which later led to integrations with Eclipse and VS Code. We expanded into verification and analysis tools, adding static analysis, testing, coverage, formal methods, fuzzing, and even machine learning.
Over time, our focus on high-integrity embedded software naturally brought C and C++ into the mix. Many teams wanted the same reliability, portability, and toolchain quality across all their languages. Our C/C++ technology now mirrors what we built for Ada — industrial-grade, cross-platform, and long-term supported.
And the story continues. With the rise of Rust, a language designed for safety and performance, it was only natural to bring it into our family. Today, AdaCore delivers Ada, SPARK, C/C++, and Rust under one roof — a complete ecosystem for developers building the world’s most reliable embedded software.
Open-Source
AdaCore was a pioneer in developing an innovative business model for commercializing freely licensed open-source software at a time when its benefits were less widely understood and accepted than they are today. AdaCore embraces the collaborative and dynamic interaction between commercial users and open-source technologies through contributions to the Free Software Foundation and platforms like GitHub.
The People Behind AdaCore
With offices in Europe and North America, AdaCore is powered by a global team of engineers, language specialists, and software professionals dedicated to advancing high-integrity software. Our people bring deep technical expertise and actively contribute to open-source communities, international standards bodies, and collaborative research initiatives.
This collective strength is reflected across the organisation — from our engineering teams to our leadership — with an executive team that guides our long-term vision and supports our mission to deliver trusted software solutions.
Here is our Executive Team:
Franco Gasperoni
CEO / Co-Founder
Franco Gasperoni
CEO / Co-Founder
Franco Gasperoni is the CEO and co-founder of AdaCore. Together with his business partner, Cyrille Comar, Franco has grown AdaCore from a 1990s startup into a profitable corporation that serves OEMs and a diverse array of customers in the aerospace and defense sectors. Under his leadership, AdaCore has successfully navigated multiple acquisitions and secured investment from Battery Ventures to further drive the company’s growth.
Franco holds an engineering degree from Mines ParisTech in France and a PhD in Computer Science from New York University in the USA. During his time in France, he studied credit mechanisms and their potential instability under Maurice Allais, the Nobel Prize-winning economist. Franco's career is marked by an enduring interest in social, economic, and cybernetic systems.
Arnaud Charlet
Chief Technology Officer
Arnaud Charlet
Chief Technology Officer
Arnaud Charlet is the Chief Technology Officer at AdaCore, where he coordinates the company's efforts across Product Engineering, IT, and Services. Arnaud began his career at AdaCore in 1998 as a software engineer, contributing to the implementation of the GNAT tasking runtime, GNAT Studio, and CodePeer. His roles have evolved over the years from team lead to product manager, and he has previously led Product Engineering at AdaCore. Arnaud has also driven the development of key technologies such as the GNAT front-end, GNAT LLVM, and GNAT CCG.
Gaëlle Gourlin
Chief People Officer
Gaëlle Gourlin
Chief People Officer
Gaëlle Gourlin is the Chief People Officer at AdaCore and has over 12 years of experience in HR spanning various industries, including banking, food, and technology. She joined AdaCore five years ago to lead and structure its HR functions. Gaëlle has built a robust global HR team focused on career management, skills development, and HR legislation, as well as leading cross-functional initiatives such as the Inclusion and diversity initiative.
Marie Labas
Chief Financial Officer
Marie Labas
Chief Financial Officer
Marie Labas is the Chief Financial Officer at AdaCore. She joined AdaCore in 2022, focusing on implementing finance policies and tools to support the company's strategic objectives. Prior to joining AdaCore, Marie worked as an auditor at EY subsequently joining Accor where she worked in Financial Planning & Analysis, and as the head of FP&A at TheFork, a TripAdvisor company. She graduated from Rennes School of Business with a master’s degree in Corporate Finance.
Quentin Ochem
Chief Product and Revenue Officer
Quentin Ochem
Chief Product and Revenue Officer
Quentin Ochem is the Chief Product and Revenue Officer at AdaCore, overseeing marketing, sales, and product management. His involvement with AdaCore began in 2002 during his school years, officially joining in 2005 to work on IDE and cross-language bindings. Quentin has a background in software engineering, particularly in high-integrity domains like avionics and defense. His roles expanded to include training and technical sales, leading him to build the technical sales department and global product management in the US. In 2021, he stepped into his current role, steering the company’s strategic initiatives.
Quentin holds a master's degree in Computer Engineering from Polytech Marseille, awarded in 2005.
Romain Berrendonner
Chief Legal Officer
Romain Berrendonner
Chief Legal Officer
Romain Berrendonner is the Chief Legal Officer at AdaCore, overseeing all legal, compliance, and M&A activities, and serves as CEO of AdaCore Technologies, Inc. Joining AdaCore in 2002, initially focusing on debugging technologies, Romain established the company's legal department and managed AdaCore's Cybersecurity products. He initiated the company’s voluntary disclosure program. Romain holds a Master's in Computer Science from Télécom ParisTech, a Laurea in Computer Engineering from the Politecnico di Torino, and a Master’s degree in business law from Paris 1 Panthéon-Sorbonne.
Olivier Ramonat
IT Director
Olivier Ramonat
IT Director
Olivier Ramonat is the IT Director at AdaCore, leading the teams responsible for operating AdaCore’s Information System, maintaining a secure Software Supply Chain, and ensuring on-time delivery of AdaCore products to customers. Since joining AdaCore in early 2008, Olivier has contributed to quality assurance and production infrastructure and has served as Information Security Manager, leading the NIST SP 800-171 compliance effort. He graduated from IMT Atlantique, France.
Joel Brobecker
Director of Product Engineering
Joel Brobecker
Director of Product Engineering
Joel Brobecker is the Director of Product Engineering at AdaCore. He co-initiated the GtkAda project, enabling the creation of graphical applications using Ada, and has made significant contributions to technologies, including AdaCore's debugger and AdaCore's production environments. Joel joined AdaCore in 2000 and has managed numerous projects enhancing AdaCore's Toolchain product for a diverse array of platforms. He has also been pivotal in customer support and community efforts. He graduated in 1997 from IMT Atlantique, France, and completed a year of military service in the Navy.
Careers at AdaCore
Interested in the people behind our tools and technologies? Learn more about working at AdaCore and explore current job openings.
Trusted by Leading Organisations
Speak to an Expert
Ready to take your software development to the next level? Our team is here to understand your needs and guide you toward the right solutions.