Blog
An Insight Into the AdaCore Ecosystem
Formal Methods Practice and Theory
Fabien Chouteau
Advent of Ada/SPARK 2024 Results
At the end of November, we called the Ada and SPARK programmers community to take on a challenge for a good cause. For each person completing one of…
Jose Ruiz
GNAT Pro 25: New Features, Platforms, and Tools
2025 is a new year of growth for the GNAT Pro family to help people develop safe, secure, and efficient code on a large variety of software and…
César Sagaert
Learning Ada with raytraced teapots
Introducing the Ada language with a fun 3D rendering project
Paul Butcher
Building Safety by Design: CHERI in Critical Systems Development
Paul Butcher, the Secure Avioincs by Design Project Manager for AdaCore, discusses the usage of CHERI in safety-critical software.
Andrea Bristol
AdaCore’s 2024; Highlights from our 30th year in Business
As AdaCore celebrates the start of a new year in business, we reflect on 2024, a year of development and future-proofing combined with consolidating…
Charis Fisher, Cléa Mendelewski
Shaping Success: My Journey from Intern to Managing Director
Emma Adby discusses her career evolution at AdaCore - from intern in Paris to Global Head of Marketing and UK Managing Director.
Fabien Chouteau
Announcing Advent of Ada 2024: Coding for a Cause!
We're thrilled to kick off the holiday season with the third edition of Advent of Ada, a programming challenge that not only tests your coding skills…
Léo Germond
GNAT Static Analysis Suite Gitlab Integration - Scaling the pipeline up
In the previous blog post of this series, we set up a GNAT Static Analysis Suite (GNAT SAS) analysis pipeline. This post focuses on the pipeline's…
Gustavo A. Hoffmann
learn.adacore.com: New Advanced Ada contents
Some time ago we announced updates to the learn website. Since then, we've published new contents to the Advanced Journey with Ada course, which we…
Andrea Bristol
AdaCore Memories: the stories behind the first 30 years of AdaCore
As part of our 30 years of AdaCore celebrations, we spoke to some of our founders to discover the stories that built what we are so proud of…
Quentin Ochem
Should I choose Ada, SPARK, or Rust over C/C++?
At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems. In terms of…
Charis Fisher, Cléa Mendelewski
Thinking Outside The Box: My Journey From Engineer to Technical Account Manager
Learn more about Silvère To-Sah-Be-Nza's journey from Engineering graduate to working with software engineering customers in the field