Ulrike Engeln

Ulrike Engeln is a Researcher at the Institute for Software Systems at Hamburg University of Technology (TUHH), where she is affiliated with the research training group CAUSE. She holds a Master's degree from TUHH, earned in 2023 through a dual study program with a medical technology company. Her work bridges software systems and medical engineering, particularly in the development of innovative control concepts.

Her primary research interest lies in executable explanations of control software, aiming to enhance transparency and reliability in software-driven control systems. This work is situated at the intersection of software engineering, formal methods, and medical technology applications. Her academic environment emphasizes model checking, abstract interpretation, and machine learning for data protection, which contextualizes her research within rigorous software analysis frameworks.

Ulrike is actively contributing to ongoing research within the CAUSE graduate program, which supports interdisciplinary research in causal structures and explainable systems. While no publications or awards are currently listed, her trajectory suggests a focus on foundational software verification in safety-critical domains.

• Master's Degree, Hamburg University of Technology (TUHH), 2023
• Dual Study Program, Medical Technology Industry Partner

She advises no students at this time and has not received any listed scientific awards. Her work is conducted within the Institute for Software Systems, which hosts research in programming languages, program reconstruction, and secure software development.