Bettina Buth is a Professor for Software Engineering at the Hamburg University of Applied Sciences (HAW Hamburg) in the Faculty of Technology and Computer Science, Department of Computer Science. She has been serving in this role since 2004 and has held additional leadership positions including Head of the Department of Computer Science (2005-2011, 2015-2018) and Vice Dean for Research and Development for the Faculty of Engineering and Computer Science (2011-2014). Her educational background includes a Diploma in Computer Science from Christian-Albrechts-University of Kiel (1981-1988), a PhD with the topic "Operation Refinement Proofs for VDM-like Specifications" (1995), and a Habilitation with the topic "Formal and Semi-Formal Methods for the Analysis of Industrial Control Systems" (2001). Bettina Buth's research interests focus on software engineering with special emphasis on testing and quality assurance, theoretical computer science particularly formal methods, and safe and reliable systems. Her core competencies include model-based development and verification, agile software development testing, safety-critical systems, and formal verification. More recently, her work has concentrated on testing of and with AI, and AI in safety-critical systems. Her expertise spans both academic and industrial settings, with experience in aerospace, railway, and aviation sectors. Her recent publications explore the intersection of formal methods, safety engineering, and AI testing, with a particular focus on autonomous systems and sensor networks. The publications demonstrate her ongoing commitment to applying rigorous verification techniques to increasingly complex and safety-critical domains, especially as AI technologies become more integrated into critical systems. She is actively involved in professional organizations and initiatives: Since 2019: Acting spokesperson of the AI and Testing Working Group of the GI TAV specialist group Since 2016: Coordinator of the HAW at ahoi.digital Member of GI (Gesellschaft für Informatik), particularly the Software Engineering Department and Test, Analysis, Verification Group Member of GfSE (Gesellschaft für Software Engineering) Member of EWICS TC7 since 2004 Reviewer and committee member for GI Security, DeCSoS, SafeComp, and Software Quality Journal Professor Buth has supervised numerous bachelor's and master's theses, though specific student names are not listed in the available information. Her departmental and faculty leadership roles indicate her commitment to academic administration and development. Her work with ahoi.digital suggests engagement with digital transformation initiatives at the university level. She maintains strong connections between academia and industry, drawing on her experience as a Quality Assurance Engineer at EADS astrium (2002-2004) to inform her teaching and research in safety-critical systems.
