Webinar: Proving Absence of Stack Overflows in Arm-Based Safety-Critic

Webinar: Proving Absence of Stack Overflows in Arm-Based Safety-Critical Systems

WEDNESDAY FEBRUARY 4TH 2026
MICROSOFT TEAMS

Meet Your Instructor

Christian Hümbert

Technical Consultant

Christian completed his master’s degree program in computer science and chemics at the Saarland University in 2006. He investigated and developed parametric worst-case execution time analysis techniques. During his studies he was a member of the Honors Program at the Computer Science Department of the Saarland University. His current work is focused on functional safety and the formal validation and verification of safety-critical software. Since 2006, Christian Huembert is working as software engineer in the consulting department at AbsInt

ORGANIZERS

EMBEDDED IS EVERYWHERE