Content by Andrea Bristol
Andrea Bristol
Andrea Bristol is the PR and Marketing Campaigns Manager at AdaCore. A marketer for over 18 years, Andrea is a Fellow of the Chartered Institute of Marketing. In her spare time, she can be found at the stables with her dressage horse Nemo or being mum-taxi to her 3 children.
Surprising Places Where Ada Is Used
Ada has entered the top 10 of the PYPL index, reflecting renewed interest in a language long associated with safety-critical and real-time systems.…
Year in Review 2025: A Transformative Year for High-Integrity Software at AdaCore
As 2025 comes to a close, it’s clear that this has been one of the most significant years in AdaCore’s history. Our work to help organisations build…
Highlights from the High Integrity Software Conference 2025
The High Integrity Software Conference (HISC) returned to the International Convention Centre Wales (ICC Wales) on 13 November 2025. HISC once again…
Proving Safety at Scale: SPARK, RISC-V, and NVIDIA’s Security Strategy
What would Ada think of the rise in Ada Language Popularity?
This Ada Lovelace Day, we are celebrating what has been a positive year for the Ada Programming Language, and we ask ourselves, what would Ada think?…
Formal Methods in Practice: Government Lessons in Resilience and Adoption Context
As the software landscape grows ever more complex and interconnected, the demand for resilient, high-assurance systems continues to rise, especially…
Ada and Rust are highlighted by the NSA and CISA in Memory Safe Language Information Sheet
Governments trust memory-safe languages like Ada and Rust — so do we. See why memory safety is essential for secure systems.
What’s All the Fuzz About?
In this blog, we discover Fuzz Testing and how GNATFuzz can be used as part of AdaCore’s GNAT Dynamic Analysis Suite.
AdaCore and Lynx Software Technologies Reaffirm Longstanding Partnership
AdaCore and Lynx Software Technologies have reaffirmed their longstanding technology partnership to support avionics and defense customers developing…
Formal Methods for an Insecure World
This article unpacks what it means to be Secure by Design, outlining practical measures for integrating security into the software lifecycle. It…
Safer with Ada
What makes our software so vulnerable? The majority of today’s technical systems are largely composed of software. As such, the reliability and…
Ada is back in the TIOBE Index top 20
The March edition of the TIOBE Index shows Ada in the top 20, hitting position 18. This shows a renewed interest in Ada, perhaps due to the increased…