Blog Posts 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.
Andrea Bristol
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…
Andrea Bristol
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…
Andrea Bristol
Proving Safety at Scale: SPARK, RISC-V, and NVIDIA’s Security Strategy
Andrea Bristol
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?…
Andrea Bristol
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…
Andrea Bristol
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.
Andrea Bristol
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.
Andrea Bristol
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…
Andrea Bristol
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…
Andrea Bristol
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…
Andrea Bristol
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…
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…