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.

10 entries written by Andrea Bristol

by Andrea Bristol

What would Ada think of the rise in Ada Language Popularity?

On Ada Lovelace Day, we celebrate a strong year for the Ada programming language, recognised for safety, reliability and high performance in high-integrity systems. In 2025, Ada re-entered the spotlight, reaching the TIOBE top ten, reflecting renewed interest across safety-critical and embedded domains. With robust typing, memory safety, and efficient, low-level control without a garbage collector, Ada remains a proven choice for organisations prioritising security, assurance and long-term maintainability.

#Ada

by Andrea Bristol

Formal Methods in Practice: Government Lessons in Resilience and Adoption

As the software landscape grows ever more complex and interconnected, the demand for resilient, high-assurance systems continues to rise, especially within critical national infrastructure and defense. At the recent DARPA Resilient Software Systems Colloquium, a series of panel discussions shed light on how government agencies are not only adopting formal methods but also realizing tangible benefits.

#Formal Methods

by 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.

#memory safety

by 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.

#GNATfuzz

by 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 safety-critical applications with Ada. Both companies will showcase their software solutions at the Army Aviation Mission Solutions Summit (“QuadA”) conference and exposition in Nashville, Tennessee, May 14-16. AdaCore and Lynx solutions are used in hundreds of military and aerospace programs worldwide.

#DO-178

by 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 highlights the critical role of formal methods, particularly the SPARK technology, in delivering on this vision.

#SPARK

by 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 security of these systems depend heavily on the reliability and security of their software components. And this is precisely where a major problem lies: increasing connectivity and a large number of known vulnerabilities in commonly used software make our systems highly susceptible to attack.

#Ada

by 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 interest in memory-safe languages and software safety and correctness in general.

#Ada

by 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 our position as the trusted experts in high-integrity software tools.

#AdaCore

by 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 today.Ed Schonberg and Richard Kenner share some memories.

#AdaCore