Blog Posts by Forough Goudarzi
Forough Goudarzi
AdaCore
Forough holds a Ph.D. in Electronic and Computer Engineering from Brunel University London. She has prior experience as a research fellow and technical author, as well as a background in the telecommunications industry.
Nov 15, 2023
Forough Goudarzi
Memory Safety in Ada and SPARK through Language Features and Tool Support
This blog post describes how Ada and SPARK provide memory safety through a combination of language features, run-time checks, and static and dynamic…
Nov 10, 2023
Forough Goudarzi
An Introduction to Memory Safety Concepts and Challenges
This blog post explains the concept of memory safety and the most common memory errors. Then, it introduces three memory-safe languages that have…