Angela Wallenburg

Angela Wallenburg has worked as a programmer and researcher since 1998. Early in her career she developed operation control and optimization software. Since program verification captured her interest she has worked on building verification tools at Chalmers and Gothenburg University in Sweden, University of Koblenz-Landau in Germany and Microsoft Research in the US. She joined Altran and the SPARK team in 2009 to continue her quest to build really usable tools for software engineers.

What does “Frontline Support” mean to you?

Frontline support means efficient communication between application domain experts and technology experts in order to provide the best solutions to relevant problems both in the short term and in the long term. Speed and quality of this activity is measurable and the major gauge by which we value ourselves.

What drew you to SPARK/Ada?

I believe that the programming language is a programmer’s most important tool. But I am an all-eater and prefer different programming languages for different tasks.

When it comes to high-assurance applications, I want a programming language that comes with source code analysis tools that can give me fast, trustworthy and precise arguments for why my program is correct or not. This leaves me with few options. Furthermore, I want a language and toolset that goes beyond toy examples and scales to practical real world applications. That is what drew me to SPARK.

What’s your favorite feature of SPARK Pro Technology

The ability to prove absence of overflow errors. For real practical programs. At compile time. That is truly unique and very valuable.