Ingo Houben is the Business Development and Account Manager for AdaCore responsible for the German speaking regions. He has a Microelectronics and Software Engineering background with many years work experience in the EDA, Embedded and Automotive industry.
In this podcast we talked about Ada and Spark. Ada is a programming language that is because of the strict requirements for validated compiler good for safety-critical applications. Spark is a variant of Ada with additional rules. These rules make it possible to automatically check programs for correctness.
The study mentioned by Ingo can be downloaded here: Controlling Costs with Software Language Choice
If you have any questions, you can contact Ingo via LinkedIn: Ingo Houben - LinkedIn
Either listen here, on Spotify or on the platform of your choice!